                  permanentLearnts.push(learnts[i]);
                  moved++;
              }
-@@ -1478,7 +1474,15 @@
+@@ -1478,7 +1481,15 @@
                  return l_False;
  
          }

-}
-#endif
-
diff -Naur glucose-syrup-4.1/parallel/SolverConfiguration.cc glucose-syrup/parallel/SolverConfiguration.cc
--- glucose-syrup-4.1/parallel/SolverConfiguration.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/SolverConfiguration.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1,176 +0,0 @@
-/***************************************************************************************[SolverConfiguration.cc]
- Glucose -- Copyright (c) 2009-2014, Gilles Audemard, Laurent Simon

 {
 
     if(incremental && certifiedUNSAT) {
@@ -1749,40 +1713,6 @@
 
 
     lbool status = l_Undef;
