ext/missing.h in gecoder-0.7.1 vs ext/missing.h in gecoder-0.8.0

@@ -85,10 +85,10 @@
 		~MDFS();
 };
 class MBAB : public Gecode::BAB<MSpace>
 {
 	public:
-		MBAB(MSpace* space, unsigned int c_d, unsigned int a_d, Search::Stop* st = 0);
+		MBAB(MSpace* space, const Search::Options &o);
 		~MBAB();
 };
 
 namespace Search {
 class MStop : public Gecode::Search::Stop