From 9e6f8406e80c55455c464b01033040a88fd12c40 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 22 Feb 2006 08:01:00 -0800
Subject: Version abc60222

---
 src/bdd/dsd/dsdTree.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/bdd')

diff --git a/src/bdd/dsd/dsdTree.c b/src/bdd/dsd/dsdTree.c
index 2f83ddd5..2855d68d 100644
--- a/src/bdd/dsd/dsdTree.c
+++ b/src/bdd/dsd/dsdTree.c
@@ -904,6 +904,15 @@ void Dsd_NodePrint_rec( FILE * pFile, Dsd_Node_t * pNode, int fComp, char * pOut
                 fprintf( pFile, "\'" );
         }
         fprintf( pFile, " )\n" );
+/*
+        fprintf( pFile, " )  " );  
+        {
+            DdNode * bLocal;
+            bLocal = Dsd_TreeGetPrimeFunction( dd, pNodeDsd );  Cudd_Ref( bLocal );
+            Extra_bddPrint( dd, bLocal );
+            Cudd_RecursiveDeref( dd, bLocal );
+        }
+*/
         // call recursively for the following blocks
         for ( i = 0; i < pNode->nDecs; i++ )
             if ( pInputNums[i] )
-- 
cgit v1.2.3