diff options
Diffstat (limited to 'src/prop')
-rw-r--r-- | src/prop/prop_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 08d485882..5969e82d1 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -12,7 +12,7 @@ #ifndef __CVC4__PROP__PROP_ENGINE_H #define __CVC4__PROP__PROP_ENGINE_H -#include "cvc4_expr.h" +#include "expr/expr.h" #include "util/decision_engine.h" #include "theory/theory_engine.h" |