diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-11-01 12:51:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-01 19:51:44 +0000 |
commit | dc84ee87902f089522336a0c63435b22b143856f (patch) | |
tree | b316403fd141063908a88f4f981bdb540fd6ae18 | |
parent | e7e2f6718823ddb65179bc74dc043074bc2bfafb (diff) |
Clean up CLN includes (#7544)
This PR pushes a couple of includes for the CLN integers from the header into the source files.
-rw-r--r-- | src/util/integer_cln_imp.cpp | 6 | ||||
-rw-r--r-- | src/util/integer_cln_imp.h | 11 |
2 files changed, 12 insertions, 5 deletions
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 <cln/input.h> +#include <cln/integer_io.h> +#include <cln/modinteger.h> + +#include <iostream> #include <sstream> #include <string> 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 <cln/input.h> #include <cln/integer.h> -#include <cln/integer_io.h> -#include <cln/modinteger.h> -#include <iostream> +#include <iosfwd> #include <limits> -#include <sstream> #include <string> #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; |