diff options
Diffstat (limited to 'src/lib/replacements.h')
-rw-r--r-- | src/lib/replacements.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lib/replacements.h b/src/lib/replacements.h index 5669b400f..ad868d7c6 100644 --- a/src/lib/replacements.h +++ b/src/lib/replacements.h @@ -17,10 +17,10 @@ #define CVC5__LIB__REPLACEMENTS_H #if (defined(__BUILDING_CVC4LIB) || defined(__BUILDING_CVC4LIB_UNIT_TEST)) && !defined(__BUILDING_STATISTICS_FOR_EXPORT) -# include "cvc4_private.h" +#include "cvc5_private.h" #else # if defined(__BUILDING_CVC4PARSERLIB) || defined(__BUILDING_CVC4PARSERLIB_UNIT_TEST) -# include "cvc4parser_private.h" +#include "cvc5parser_private.h" # else #if defined(__BUILDING_CVC4DRIVER) || defined(__BUILDING_CVC5_SYSTEM_TEST) \ || defined(__BUILDING_STATISTICS_FOR_EXPORT) |