diff --git a/abcexe.dsp b/abcexe.dsp
index d2b2db3b9..9d5152fc2 100644
--- a/abcexe.dsp
+++ b/abcexe.dsp
@@ -90,10 +90,6 @@ 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"