From e3c40ed61ee3febefb002d3b929f157ccdffca81 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 26 Nov 2005 08:01:00 -0800
Subject: Version abc51126

---
 abc.dsp | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index 5fd0904b..0d332214 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -282,6 +282,14 @@ SOURCE=.\src\base\seq\seq.h
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\seq\seqAigCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\base\seq\seqAigIter.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\seq\seqCreate.c
 # End Source File
 # Begin Source File
@@ -1698,10 +1706,6 @@ SOURCE=.\src\misc\vec\vec.h
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\misc\vec\vecFan.h
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\misc\vec\vecInt.h
 # End Source File
 # Begin Source File
-- 
cgit v1.2.3