diff options
Diffstat (limited to 'test/unit/prop/cnf_stream_white.cpp')
-rw-r--r-- | test/unit/prop/cnf_stream_white.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/prop/cnf_stream_white.cpp b/test/unit/prop/cnf_stream_white.cpp index 569c8a0e1..ceaf69423 100644 --- a/test/unit/prop/cnf_stream_white.cpp +++ b/test/unit/prop/cnf_stream_white.cpp @@ -19,6 +19,7 @@ #include "prop/cnf_stream.h" #include "prop/prop_engine.h" #include "prop/registrar.h" +#include "prop/sat_solver.h" #include "prop/theory_proxy.h" #include "test_smt.h" #include "theory/arith/theory_arith.h" |