1 files changed, 32 insertions, 8 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 9f66d089..d87a7b00 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -4231,10 +4231,6 @@ SOURCE=.\src\aig\gia\giaEsop.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaFadds.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\aig\gia\giaFalse.c
 # End Source File
 # Begin Source File
@@ -4347,10 +4343,6 @@ SOURCE=.\src\aig\gia\giaPf.c
 # End Source File
 # Begin Source File
 
-SOURCE=.\src\aig\gia\giaPolyn.c
-# End Source File
-# Begin Source File
-
 SOURCE=.\src\aig\gia\giaQbf.c
 # End Source File
 # Begin Source File
@@ -5298,6 +5290,38 @@ SOURCE=.\src\proof\ssc\sscUtil.c
 
 # PROP Default_Filter ""
 # End Group
+# Begin Group "acec"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acec.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecFadds.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecOrder.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecPolyn.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\acec\acecUtil.c
+# End Source File
+# End Group
 # End Group
 # End Group
 # Begin Group "Header Files"