From 5e4e815d107de3b24de7804e31d4411f005ee995 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 20 Oct 2016 11:41:39 -0700
Subject: Fixing accidental change in the project file.

---
 abcexe.dsp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/abcexe.dsp b/abcexe.dsp
index d2b2db3b..9d5152fc 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"
 
-- 
cgit v1.2.3