diff options
Diffstat (limited to 'test/unit/test_smt.h')
| -rw-r--r-- | test/unit/test_smt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 1aed7ce3f..a81deabc2 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -19,8 +19,8 @@ #include "expr/dtype_cons.h" #include "expr/node.h" #include "expr/node_manager.h" -#include "expr/proof_checker.h" #include "expr/skolem_manager.h" +#include "proof/proof_checker.h" #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" #include "test.h" |