From 716b8cc6b8079dba1638380f161b2ab03af7d401 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 10 Mar 2014 15:48:46 -0700
Subject: Improvements to print-outs.

---
 src/base/abci/abc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index a0772184..7ebab2d1 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -15470,6 +15470,7 @@ int Abc_CommandDsdLoad( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 1;
     }
     fclose( pFile );
+    Abc_FrameSetManDsd( NULL );
     pDsdMan = If_DsdManLoad(FileName);
     if ( pDsdMan == NULL )
         return 1;
-- 
cgit v1.2.3