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

-}
-#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

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