From 2d782f7bc966fb19c9d849ac70366709f04d25d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 15 Sep 2005 08:01:00 -0700
Subject: Version abc50915

---
 src/bdd/dsd/dsdProc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/bdd')

diff --git a/src/bdd/dsd/dsdProc.c b/src/bdd/dsd/dsdProc.c
index 08c029e1..543ad387 100644
--- a/src/bdd/dsd/dsdProc.c
+++ b/src/bdd/dsd/dsdProc.c
@@ -1255,7 +1255,7 @@ EXIT:
     s_CacheEntries++;
 
 
-#if 0
+/*
     if ( dsdKernelVerifyDecomposition(dd, pThis) == 0 )
     {
         // write the function, for which verification does not work
@@ -1277,7 +1277,7 @@ EXIT:
         cuddWriteFunctionSop( stdout, dd, zNewFunc, -1, dd->size, "1", s_pVarMask );
         Cudd_RecursiveDerefZdd( dd, zNewFunc );
     }
-#endif
+*/
 
     }
 
-- 
cgit v1.2.3