removing the sat solver inmterface from being public

diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h
index d337ff4e6bdd79bbb1d1d3474ec2a6df99eadf60..e13775ab2b6de662cb6d21ba203da36e7636530c 100644 (file)
--- a/src/prop/bvminisat/bvminisat.h
+++ b/src/prop/bvminisat/bvminisat.h
@@ -16,6 +16,8 @@
  ** Implementation of the minisat for cvc4 (bitvectors).
  **/
 
+#include "cvc4_private.h"
+
 #pragma once
 
 #include "prop/sat_solver.h"

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index ac80e4422bc908e9fec736f470742a5cf9647a6e..d2e967393e7960787ac6b76f25e1c4894c89ec4e 100644 (file)
--- a/src/prop/sat_solver.h
+++ b/src/prop/sat_solver.h
@@ -16,7 +16,7 @@
  ** SAT Solver.
  **/
 
-#include "cvc4_public.h"
+#include "cvc4_private.h"
 
 #ifndef __CVC4__PROP__SAT_MODULE_H
 #define __CVC4__PROP__SAT_MODULE_H