summaryrefslogtreecommitdiffstats
path: root/abcexe.dsp
diff options
context:
space:
mode:
authorBruno Schmitt <bruno@oschmitt.com>2016-07-27 23:32:15 -0300
committerBruno Schmitt <bruno@oschmitt.com>2016-07-27 23:32:15 -0300
commitdaadd43b644444fc66314300ac13dd91038be95c (patch)
treebecdeb7a0d6ddd3a934a042693dd1d5668e9e3dd /abcexe.dsp
parentdcd37b6a25c37a546f08c1942dda2d7d64e72e48 (diff)
parent9895f30d95f326211a397c75a8964ad5cfd12ad5 (diff)
downloadabc-daadd43b644444fc66314300ac13dd91038be95c.tar.gz
abc-daadd43b644444fc66314300ac13dd91038be95c.tar.bz2
abc-daadd43b644444fc66314300ac13dd91038be95c.zip
Merged alanmi/abc into default
Diffstat (limited to 'abcexe.dsp')
-rw-r--r--abcexe.dsp4
1 files changed, 4 insertions, 0 deletions
diff --git a/abcexe.dsp b/abcexe.dsp
index 9d5152fc..d2b2db3b 100644
--- a/abcexe.dsp
+++ b/abcexe.dsp
@@ -90,6 +90,10 @@ LINK32=link.exe
SOURCE=.\src\base\main\main.c
# End Source File
+# Begin Source File
+
+SOURCE=.\src\proof\ssw\sswSat.c
+# End Source File
# End Group
# Begin Group "Header Files"