diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h
index 6b0d58ec1..4a96b071b 100644
--- 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"