diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 14:29:58 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-19 19:09:27 -0400 |
| commit | 7dd316a13b796d02985be63b1b03975a756fb624 (patch) | |
| tree | ab348129940e25c4dde47c19568aea40d31a51ea /src/util/configuration_private.h | |
| parent | 89a1304db9208a366c10136e8dee722f634015e9 (diff) | |
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
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 */ |