  
      const char* prev_cat  = NULL;
      const char* prev_type = NULL;
-diff -Naur glucose-syrup-4.1/utils/Options.h ../src/glucose-syrup/utils/Options.h
+diff -Naur glucose-syrup-4.1/utils/Options.h glucose-syrup/utils/Options.h
 --- glucose-syrup-4.1/utils/Options.h	2016-12-08 13:48:26.000000000 +0100
-+++ ../src/glucose-syrup/utils/Options.h	2017-03-30 16:49:46.642684506 +0200
++++ glucose-syrup/utils/Options.h	2017-03-30 16:41:08.883328909 +0200
 @@ -60,7 +60,7 @@
      struct OptionLt {
          bool operator()(const Option* x, const Option* y) {

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

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