diff options
Diffstat (limited to 'src/util/configuration_private.h')
| -rw-r--r-- | src/util/configuration_private.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/util/configuration_private.h b/src/util/configuration_private.h index 4378badc8..7c94f4c18 100644 --- a/src/util/configuration_private.h +++ b/src/util/configuration_private.h @@ -89,12 +89,6 @@ namespace CVC4 { # define IS_COMPETITION_BUILD false #endif /* CVC4_COMPETITION_MODE */ -#ifdef CVC4_CUDD -# define IS_CUDD_BUILD true -#else /* CVC4_CUDD */ -# define IS_CUDD_BUILD false -#endif /* CVC4_CUDD */ - #ifdef CVC4_GMP_IMP # define IS_GMP_BUILD true #else /* CVC4_GMP_IMP */ |