Skip to content

Commit

Permalink
add blank line
Browse files Browse the repository at this point in the history
  • Loading branch information
lperron committed Jun 27, 2019
1 parent f57138e commit 96cc264
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ortools/sat/cp_model_solver.cc
Original file line number Diff line number Diff line change
Expand Up @@ -2192,6 +2192,7 @@ CpSolverResponse SolveCpModel(const CpModelProto& model_proto, Model* model) {
stopped = &stopped_boolean;
model->GetOrCreate<TimeLimit>()->RegisterExternalBooleanAsLimit(stopped);
}

handler.Register([stopped]() { *stopped = true; });
}
#endif // __PORTABLE_PLATFORM__
Expand Down

0 comments on commit 96cc264

Please sign in to comment.