fixing CLN builds, which had broken the build tonight; will re-run regression script

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index a62aaa2e6f5351d309170f02f8c7d3e7bca0ea33..ee256867a8bffbac49f8cbcdb3af15d34a156a04 100644 (file)
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -30,6 +30,8 @@
 #include <cln/input.h>
 #include <cln/integer_io.h>
 
+#include "util/Assert.h"
+
 namespace CVC4 {
 
 class Rational;