Disable debug checks on CUDD close: see if we can actually get rid of annoying cuddClearDeathRow error messages.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6685 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/dd/dd_cudd.cc

@@ -107,9 +107,11 @@ void DD_CloseDownCUDD(DdManager *ddman, bool check)
 
 	if (check) {
 		// if required, check everthing is closed down OK and warn if not
-		if (Cudd_DebugCheck(ddman)) {
+		// for now, we disable the debug check since there are increasingly
+		// problems occurring on 64 bit Linux/Mac
+		/*if (Cudd_DebugCheck(ddman)) {
 			printf("\nWarning: CUDD reports an error on closing.\n");
-		}
+		}*/
 		if (Cudd_CheckZeroRef(ddman) > 0) {
 			printf("\nWarning: CUDD reports %d non-zero references.\n", Cudd_CheckZeroRef(ddman));
 		}