From 7dd316a13b796d02985be63b1b03975a756fb624 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 31 Jan 2013 14:29:58 -0500
Subject: Remove PropositionalQuery class and all CUDD-related build stuff (and
 references)

---
 configure.ac | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index bf5938e70..a4b8892ab 100644
--- a/configure.ac
+++ b/configure.ac
@@ -908,9 +908,6 @@ AC_CHECK_FUNC([ffs], [AC_DEFINE([HAVE_FFS], [1],
                                 [Defined to 1 if ffs() is supported by the platform.])],
                      [AC_LIBOBJ([ffs])])
 
-# Check for the presence of CUDD libraries
-CVC4_CHECK_CUDD
-
 # Check for antlr C++ runtime (defined in config/antlr.m4)
 AC_LIB_ANTLR
 
@@ -1298,7 +1295,6 @@ Unit tests   : $support_unit_tests
 Proof tests  : $support_proof_tests
 gcov support : $enable_coverage
 gprof support: $enable_profiling
-CUDD         : $cvc4cudd
 Readline     : $with_readline
 
 Static libs  : $enable_static
-- 
cgit v1.2.3