diff options
Diffstat (limited to 'src/base/configuration_private.h')
-rw-r--r-- | src/base/configuration_private.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 835a02a44..cc1983734 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -60,12 +60,6 @@ namespace CVC4 { # define IS_ASSERTIONS_BUILD false #endif /* CVC4_ASSERTIONS */ -#ifdef CVC4_PROOF -# define IS_PROOFS_BUILD true -#else /* CVC4_PROOF */ -# define IS_PROOFS_BUILD false -#endif /* CVC4_PROOF */ - #ifdef CVC4_COVERAGE # define IS_COVERAGE_BUILD true #else /* CVC4_COVERAGE */ @@ -120,24 +114,12 @@ namespace CVC4 { # define IS_CRYPTOMINISAT_BUILD false #endif /* CVC4_USE_CRYPTOMINISAT */ -#if CVC4_USE_DRAT2ER -# define IS_DRAT2ER_BUILD true -#else /* CVC4_USE_DRAT2ER */ -# define IS_DRAT2ER_BUILD false -#endif /* CVC4_USE_DRAT2ER */ - #if CVC4_USE_KISSAT #define IS_KISSAT_BUILD true #else /* CVC4_USE_KISSAT */ #define IS_KISSAT_BUILD false #endif /* CVC4_USE_KISSAT */ -#if CVC4_USE_LFSC -#define IS_LFSC_BUILD true -#else /* CVC4_USE_LFSC */ -#define IS_LFSC_BUILD false -#endif /* CVC4_USE_LFSC */ - #if CVC4_USE_POLY #define IS_POLY_BUILD true #else /* CVC4_USE_POLY */ |