simplecudd should not be a default.

2009-03-10 14:19:10 +00:00
parent e7634b216e
commit eb5fc96ca6
2 changed files with 2 additions and 2 deletions
--- a/2
+++ b/2
@@ -2908,7 +2908,7 @@ if test "${with_cudd+set}" = set; then
 		CUDD_CPPFLAGS="-I $yap_cv_cudd/include"
 	fi
 else
-  yap_cv_cudd=yes
+  yap_cv_cudd=no
 fi