From 16dc02e7f6b9c22ecea2c878c9bb63d34264d378 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 16 Feb 2012 20:54:41 -0800 Subject: Improved memory management of proof-logging and propagated changes. --- abclib.dsp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 2de1a0b2..d10fd390 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -1259,10 +1259,6 @@ SOURCE=.\src\sat\bsat\satVec.h # End Source File # Begin Source File -SOURCE=.\src\sat\bsat\vecRec.h -# End Source File -# Begin Source File - SOURCE=.\src\sat\bsat\vecSet.h # End Source File # End Group -- cgit v1.2.3