From 9d4b3ff2ce74cc7333fadfd21df61e5ce79f8093 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Fri, 9 Aug 2019 22:39:48 -0700 Subject: [PATCH] fix --- ortools/sat/cp_model_loader.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ortools/sat/cp_model_loader.cc b/ortools/sat/cp_model_loader.cc index 976fa0bffc..d57ff025f3 100644 --- a/ortools/sat/cp_model_loader.cc +++ b/ortools/sat/cp_model_loader.cc @@ -734,7 +734,7 @@ void FullEncodingFixedPointComputer::ComputeFixedPoint() { const int64 domain_size_without_bounds = DomainSize(var) - 2; VLOG(2) << model_proto_.variables(var).ShortDebugString() << " is encoded with " << num_accesses - << "access constraints on a domain of size " << DomainSize(var); + << " accesses constraints on a domain of size " << DomainSize(var); if (num_accesses >= domain_size_without_bounds / 4) { VLOG(2) << " - encode"; FullyEncode(var); @@ -856,7 +856,7 @@ bool FullEncodingFixedPointComputer::ProcessLinear(ConstraintIndex ct_index) { int64 value = ct.linear().domain(0); if (!IsEqCst(ct.linear(), mapping_, integer_trail_) && - IsNeqCst(ct.linear(), mapping_, integer_trail_, &value)) { + !IsNeqCst(ct.linear(), mapping_, integer_trail_, &value)) { return true; }