1 files changed, 12 insertions, 0 deletions
diff --git a/abc.dsp b/abc.dsp
index 8f0d0ebb..e745903f 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -2786,6 +2786,14 @@ SOURCE=.\src\aig\csw\cswTable.c
 # PROP Default_Filter ""
 # Begin Source File
 
+SOURCE=.\src\aig\kit\cloud.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\kit\cloud.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\kit\kit.h
 # End Source File
 # Begin Source File
@@ -2794,6 +2802,10 @@ SOURCE=.\src\aig\kit\kitBdd.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\aig\kit\kitCloud.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\aig\kit\kitDsd.c
 # End Source File
 # Begin Source File