From 747b0e9501bdcc199ea55c5ce86216b801a5f365 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 16 Dec 2016 17:21:56 +0000
Subject: [PATCH] fix spurious changes

---
 packages/gecode/gecode4-common.icc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/gecode/gecode4-common.icc b/packages/gecode/gecode4-common.icc
index 1fe9bbff1..69c3160e8 100755
--- a/packages/gecode/gecode4-common.icc
+++ b/packages/gecode/gecode4-common.icc
@@ -82,7 +82,7 @@ namespace generic_gecode
 
   struct GenericRestartDFS: GenericEngine
   {
-    RBS<GenericSpace,DFS> engine;
+    RBS<DFS,GenericSpace> engine;
     GenericRestartDFS(GenericSpace* s,Search::Options& opt) : engine(s,opt) {}
     virtual GenericSpace* next(void) { return engine.next(); }
   };
@@ -96,7 +96,7 @@ namespace generic_gecode
 
   struct GenericRestartBAB: GenericEngine
   {
-    RBS<GenericSpace,BAB> engine;
+    RBS<BAB,GenericSpace> engine;
     GenericRestartBAB(GenericSpace* s,Search::Options& opt) : engine(s,opt) {}
     virtual GenericSpace* next(void) { return engine.next(); }
   };