From 7dd316a13b796d02985be63b1b03975a756fb624 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 31 Jan 2013 14:29:58 -0500 Subject: Remove PropositionalQuery class and all CUDD-related build stuff (and references) --- src/util/configuration_private.h | 6 ------ 1 file changed, 6 deletions(-) (limited to 'src/util/configuration_private.h') 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 */ -- cgit v1.2.3