Changes to 'pdr' to run with updated Satoko.

be49b0fa · Alan Mishchenko · f06056d8 · be49b0fa
Commit be49b0fa authored Sep 06, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/proof/pdr/pdrInt.h
+1 -1

No files found.
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -32,7 +32,7 @@
 #include "misc/hash/hashInt.h"
 #include "aig/gia/giaAig.h"

-#define PDR_USE_SATOKO 1
+//#define PDR_USE_SATOKO 1

 #ifndef PDR_USE_SATOKO
    #include "sat/bsat/satSolver.h"