From: Gereon Kremer Date: Mon, 1 Nov 2021 19:51:44 +0000 (-0700) Subject: Clean up CLN includes (#7544) X-Git-Tag: cvc5-1.0.0~918 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc84ee87902f089522336a0c63435b22b143856f;p=cvc5.git Clean up CLN includes (#7544) This PR pushes a couple of includes for the CLN integers from the header into the source files. --- diff --git a/src/util/integer_cln_imp.cpp b/src/util/integer_cln_imp.cpp index a9e4f6f0a..e09708ae5 100644 --- a/src/util/integer_cln_imp.cpp +++ b/src/util/integer_cln_imp.cpp @@ -12,6 +12,12 @@ * * A multiprecision integer constant; wraps a CLN multiprecision integer. */ + +#include +#include +#include + +#include #include #include diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h index 80bc406ee..2120a4d5d 100644 --- a/src/util/integer_cln_imp.h +++ b/src/util/integer_cln_imp.h @@ -18,19 +18,20 @@ #ifndef CVC5__INTEGER_H #define CVC5__INTEGER_H -#include #include -#include -#include -#include +#include #include -#include #include #include "base/exception.h" #include "cvc5_export.h" // remove when Cvc language support is removed +namespace cln +{ + struct cl_read_flags; +} + namespace cvc5 { class Rational;