diff --git a/gecode_solver.cpp b/gecode_solver.cpp index 91b38f6069caed69181ecb375644eaed8eda1df5_Z2Vjb2RlX3NvbHZlci5jcHA=..3c7b00c2f44bf24e7aaf289c92d60c465291a860_Z2Vjb2RlX3NvbHZlci5jcHA= 100644 --- a/gecode_solver.cpp +++ b/gecode_solver.cpp @@ -365,4 +365,5 @@ unsigned int n_b = 0; if (s->status() != SS_FAILED) { n_p = s->propagators(); +#if GE_VERSION<PM_VERSION(3,2,0) n_b = s->branchings(); @@ -368,4 +369,7 @@ n_b = s->branchings(); +#else + n_b = s->branchers(); +#endif } #if GE_VERSION<PM_VERSION(2,0,0) Engine<RqlSolver> e(s);