diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 17:44:32 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-11 17:44:32 -0700 |
commit | 261bd7f86555e2e0550fd622806d5995a8a8c390 (patch) | |
tree | c0efed355d914546d895645b59cc30ed0d6c254d | |
parent | 5da7102f552e6c45a146ad18eb46f41189f1d767 (diff) | |
download | abc-261bd7f86555e2e0550fd622806d5995a8a8c390.tar.gz abc-261bd7f86555e2e0550fd622806d5995a8a8c390.tar.bz2 abc-261bd7f86555e2e0550fd622806d5995a8a8c390.zip |
Compiler warnings.
-rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |