From fef0c368bc64bb9e8109c4d2adcdde9fed0f7399 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 14 Nov 2020 17:17:26 -0800 Subject: Improvements to the SAT sweeper. --- abcexe.dsp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'abcexe.dsp') diff --git a/abcexe.dsp b/abcexe.dsp index 368837c8..9d5152fc 100644 --- a/abcexe.dsp +++ b/abcexe.dsp @@ -88,10 +88,6 @@ LINK32=link.exe # PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat" # Begin Source File -SOURCE=.\src\proof\cec\cecSatG2.c -# End Source File -# Begin Source File - SOURCE=.\src\base\main\main.c # End Source File # End Group -- cgit v1.2.3