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

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

                     // Model found:
                     return l_True;
                 }
@@ -1673,46 +1670,6 @@
     return progress / nVars();
 }
 
