diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a5da782d0..4f4d983c5 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -16,7 +16,6 @@ #include "smt/smt_engine.h" -#include "api/cvc4cpp.h" #include "base/check.h" #include "base/exception.h" #include "base/modal_exception.h" |