diff options
Diffstat (limited to 'src/include/cvc5parser_private.h')
-rw-r--r-- | src/include/cvc5parser_private.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/include/cvc5parser_private.h b/src/include/cvc5parser_private.h index 8f6142cbb..fe9508283 100644 --- a/src/include/cvc5parser_private.h +++ b/src/include/cvc5parser_private.h @@ -17,15 +17,15 @@ #ifndef CVC5PARSER_PRIVATE_H #define CVC5PARSER_PRIVATE_H -#if !(defined(__BUILDING_CVC4PARSERLIB) \ - || defined(__BUILDING_CVC4PARSERLIB_UNIT_TEST)) +#if !(defined(__BUILDING_CVC5PARSERLIB) \ + || defined(__BUILDING_CVC5PARSERLIB_UNIT_TEST)) # error A private cvc5 parser header was included when not building the parser library or private unit test code. #endif #include "cvc5parser_public.h" -// It would be nice to #include "cvc4autoconfig.h" here, but there are conflicts -// with antlr3's autoheader stuff, which they export :( +// It would be nice to #include "base/cvc5config.h" here, but there are +// conflicts with antlr3's autoheader stuff, which they export :( // -// #include "cvc4autoconfig.h" +// #include "base/cvc5config.h" #endif /* CVC5PARSER_PRIVATE_H */ |