From d6804597a397379f826810a736ccbe99bf56c497 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 24 Jun 2007 08:01:00 -0700
Subject: Version abc70624

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

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index cfc19378..46ce613d 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -822,6 +822,10 @@ SOURCE=.\src\aig\dar\darCheck.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\dar\darCnf.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\dar\darCore.c
 # End Source File
 # Begin Source File
@@ -834,6 +838,10 @@ SOURCE=.\src\aig\dar\darData.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\dar\darData2.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\dar\darDfs.c
 # End Source File
 # Begin Source File
@@ -866,6 +874,10 @@ SOURCE=.\src\aig\dar\darTable.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\dar\darTruth.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\dar\darUtil.c
 # End Source File
 # End Group
-- 
cgit v1.2.3