summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp4
1 files changed, 4 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 38b02a67..e42bb058 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -3715,6 +3715,10 @@ SOURCE=.\src\aig\gia\giaCex.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaClp.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaCof.c
# End Source File
# Begin Source File