From 0e57e953062cd2d97573d8428f6f77853ba8535e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 3 Mar 2006 08:01:00 -0800 Subject: Version abc60303 --- abc.dsp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'abc.dsp') diff --git a/abc.dsp b/abc.dsp index 9099f64c..5c2592b2 100644 --- a/abc.dsp +++ b/abc.dsp @@ -222,10 +222,6 @@ SOURCE=.\src\base\abci\abcMiter.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcNewAig.c -# End Source File -# Begin Source File - SOURCE=.\src\base\abci\abcNtbdd.c # End Source File # Begin Source File @@ -258,6 +254,10 @@ SOURCE=.\src\base\abci\abcRestruct.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcResub.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcRewrite.c # End Source File # Begin Source File -- cgit v1.2.3