diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/check.h | 2 | ||||
| -rw-r--r-- | src/base/configuration.h | 2 | ||||
| -rw-r--r-- | src/base/configuration_private.h | 2 | ||||
| -rw-r--r-- | src/base/exception.h | 2 | ||||
| -rw-r--r-- | src/base/listener.h | 2 | ||||
| -rw-r--r-- | src/base/map_util.h | 2 | ||||
| -rw-r--r-- | src/base/modal_exception.h | 2 | ||||
| -rw-r--r-- | src/base/output.h | 2 |
8 files changed, 8 insertions, 8 deletions
diff --git a/src/base/check.h b/src/base/check.h index 2905990eb..5c7b7c9ed 100644 --- a/src/base/check.h +++ b/src/base/check.h @@ -28,7 +28,7 @@ * signal-handling code. */ -#include "cvc4_private_library.h" +#include "cvc5_private_library.h" #ifndef CVC5__CHECK_H #define CVC5__CHECK_H diff --git a/src/base/configuration.h b/src/base/configuration.h index 66f3b8566..7b99bd605 100644 --- a/src/base/configuration.h +++ b/src/base/configuration.h @@ -14,7 +14,7 @@ * about the CVC4 library. */ -#include "cvc4_public.h" +#include "cvc5_public.h" #ifndef CVC5__CONFIGURATION_H #define CVC5__CONFIGURATION_H diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 8b43b5cab..3027b23bc 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -13,7 +13,7 @@ * Provide compile-time configuration information about the cvc5 library. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__CONFIGURATION_PRIVATE_H #define CVC5__CONFIGURATION_PRIVATE_H diff --git a/src/base/exception.h b/src/base/exception.h index b7bc00d71..ac97bdb2d 100644 --- a/src/base/exception.h +++ b/src/base/exception.h @@ -13,7 +13,7 @@ * cvc5's exception base class and some associated utilities. */ -#include "cvc4_public.h" +#include "cvc5_public.h" #ifndef CVC5__EXCEPTION_H #define CVC5__EXCEPTION_H diff --git a/src/base/listener.h b/src/base/listener.h index ee42d4359..79de71a31 100644 --- a/src/base/listener.h +++ b/src/base/listener.h @@ -15,7 +15,7 @@ * This class provides a single notification that must be overwritten. */ -#include "cvc4_public.h" +#include "cvc5_public.h" #ifndef CVC5__LISTENER_H #define CVC5__LISTENER_H diff --git a/src/base/map_util.h b/src/base/map_util.h index 4c46052a1..d53710708 100644 --- a/src/base/map_util.h +++ b/src/base/map_util.h @@ -33,7 +33,7 @@ * - InsertIfNotPresent */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__BASE__MAP_UTIL_H #define CVC5__BASE__MAP_UTIL_H diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h index bf019f707..12e8cdb30 100644 --- a/src/base/modal_exception.h +++ b/src/base/modal_exception.h @@ -15,7 +15,7 @@ * "(get-assertions)" command in an SMT-LIBv2 script). */ -#include "cvc4_public.h" +#include "cvc5_public.h" #ifndef CVC5__SMT__MODAL_EXCEPTION_H #define CVC5__SMT__MODAL_EXCEPTION_H diff --git a/src/base/output.h b/src/base/output.h index 4a7be543e..9a7fc3f36 100644 --- a/src/base/output.h +++ b/src/base/output.h @@ -13,7 +13,7 @@ * Output utility classes and functions. */ -#include "cvc4_private_library.h" +#include "cvc5_private_library.h" #ifndef CVC5__OUTPUT_H #define CVC5__OUTPUT_H |