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 a9e4f6f0ae1e4f1c6d90763a055d8c4d6ce7d8d3..e09708ae5a5e056a16d1463c8b13cdd113352a60 100644 (file)
--- 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 80bc406ee452b0de6f471c70069f943154555974..2120a4d5d78941f5385685439f1053eacaf1edf7 100644 (file)
--- 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;