diff options
Diffstat (limited to 'src/parser/tptp/Tptp.g')
| -rw-r--r-- | src/parser/tptp/Tptp.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 030330748..f6b845212 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -100,7 +100,7 @@ using namespace cvc5::parser; #include <iterator> #include <vector> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/output.h" #include "parser/antlr_input.h" #include "parser/parser.h" |