diff options
Diffstat (limited to 'test/unit/parser/parser_builder_black.cpp')
-rw-r--r-- | test/unit/parser/parser_builder_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/parser/parser_builder_black.cpp b/test/unit/parser/parser_builder_black.cpp index a83932b2f..113a5abd5 100644 --- a/test/unit/parser/parser_builder_black.cpp +++ b/test/unit/parser/parser_builder_black.cpp @@ -22,7 +22,7 @@ #include <fstream> #include <iostream> -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "expr/symbol_manager.h" #include "options/language.h" #include "parser/parser.h" |