diff options
Diffstat (limited to 'src/parser/pl.ypp')
| -rw-r--r-- | src/parser/pl.ypp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/pl.ypp b/src/parser/pl.ypp index e7d752419..b59c7c69e 100644 --- a/src/parser/pl.ypp +++ b/src/parser/pl.ypp @@ -13,10 +13,10 @@ %{ -#include "cvc4.h" -#include "cvc4_expr.h" +#include "smt/smt_engine.h" #include "parser/parser_exception.h" #include "parser/parser_state.h" +#include "expr/expr.h" #include "expr/expr_builder.h" #include "expr/expr_manager.h" #include "util/command.h" |