Compiler warnings.

261bd7f8 · Alan Mishchenko · 5da7102f · 261bd7f8
Commit 261bd7f8 authored Aug 11, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

abclib.dsp
+4 -0

No files found.
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -1243,6 +1243,10 @@ SOURCE=.\src\sat\bsat\satProof.c
 # End Source File
 # Begin Source File

+SOURCE=.\src\sat\bsat\satProof2.h
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\sat\bsat\satSolver.c
 # End Source File
 # Begin Source File