flatzinc build is broken

google / or-tools

Google's Operations Research tools:

https://developers.google.com/optimization/

Apache License 2.0

11.14k stars 2.11k forks source link

flatzinc build is broken #191

Closed dimbleby closed 8 years ago

dimbleby commented 8 years ago

src/flatzinc/sat_constraint.cc: In member function ‘virtual std::__cxx11::string operations_research::SatPropagator::DebugString() const’:
src/flatzinc/sat_constraint.cc:188:51: error: ‘const class operations_research::sat::SatSolver’ has no member named ‘NumAddedConstraints’
                         sat_.NumVariables(), sat_.NumAddedConstraints());
                                                   ^

Since 95b14628f11809e92b682874fc87e4a648ed2f71, presumably.

lperron commented 8 years ago

Thanks. I fixed the source tree.