  
      // Search:
      int curr_restarts = 0;
-@@ -1794,9 +1724,6 @@
+@@ -1794,9 +1717,6 @@
          curr_restarts++;
      }
  

-
-//=================================================================================================
-
diff -Naur glucose-syrup-4.1/parallel/ClausesBuffer.h ../src/glucose-syrup/parallel/ClausesBuffer.h
--- glucose-syrup-4.1/parallel/ClausesBuffer.h	2016-12-08 13:48:26.000000000 +0100
+++ ../src/glucose-syrup/parallel/ClausesBuffer.h	1970-01-01 01:00:00.000000000 +0100
@@ -1,114 +0,0 @@
-/***************************************************************************************[ClausesBuffer.h]
- Glucose -- Copyright (c) 2009-2014, Gilles Audemard, Laurent Simon

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