From 137a766207e27d397a8127b7e5c93c193fa108e1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Sep 2013 16:41:35 -0700
Subject: Improvements to the new technology mapper.

---
 src/map/if/ifMap.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/map')

diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c
index d7240d5c..e6a5d821 100644
--- a/src/map/if/ifMap.c
+++ b/src/map/if/ifMap.c
@@ -333,6 +333,12 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
         If_CutSort( p, pCutSet, pCut );
 //        If_CutTraverse( p, pObj, pCut );
     } 
+/*
+    printf( "Node %d\n", pObj->Id );
+    for ( i = 0; i < pCutSet->nCuts; i++ )
+        If_CutPrint( pCutSet->ppCuts[i] );
+    printf( "\n" );
+*/
     assert( pCutSet->nCuts > 0 );
 
     // add the trivial cut to the set
-- 
cgit v1.2.3