From 3d23bc8c570db1f8de39691df7f6ac464154f644 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 6 Oct 2012 16:02:36 -0700
Subject: New AIG optimization package.

---
 src/base/abci/abc.c | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index ed20c0f7..d1acef62 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -823,10 +823,6 @@ void Abc_Init( Abc_Frame_t * pAbc )
         extern void Dar_LibStart();
         Dar_LibStart();
     }
-    {
-        extern void Dau_DsdTest();
-        Dau_DsdTest();
-    }
 } 
 
 /**Function*************************************************************
-- 
cgit v1.2.3