1 files changed, 4 insertions, 0 deletions
diff --git a/abcexe.dsp b/abcexe.dsp
index 9d5152fc..9ef992c0 100644
--- a/abcexe.dsp
+++ b/abcexe.dsp
@@ -88,6 +88,10 @@ LINK32=link.exe
 # PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
 # Begin Source File
 
+SOURCE=.\src\proof\acec\acecTree.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\main\main.c
 # End Source File
 # End Group