From 72d1151231ce0b392ea29610b72db89732356939 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 11 Dec 2012 22:37:34 -0800
Subject: Improvements to DSD manager.

---
 src/map/if/ifMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map')

diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c
index 1cc92def..9f9e360e 100644
--- a/src/map/if/ifMan.c
+++ b/src/map/if/ifMan.c
@@ -165,7 +165,7 @@ void If_ManStop( If_Man_t * p )
 //        Abc_NamPrint( p->pNamDsd );
         Abc_NamStop( p->pNamDsd );
 */
-        Dss_ManPrint( p->pDsdMan );
+        Dss_ManPrint( NULL, p->pDsdMan );
         Dss_ManFree( p->pDsdMan );
     }
 //    Abc_PrintTime( 1, "Truth", p->timeTruth );
-- 
cgit v1.2.3