fix

2021-04-23 15:26:23 +02:00
parent f0c6c3b487
commit e6a4560b41
1 changed files with 1 additions and 0 deletions
--- a/ortools/sat/cp_model_presolve.cc
+++ b/ortools/sat/cp_model_presolve.cc
@@ -5752,6 +5752,7 @@ bool CpModelPresolver::Presolve() {
       *context_->working_model->mutable_search_strategy()) {
    DecisionStrategyProto copy = strategy;
    strategy.clear_variables();
+    strategy.clear_transformations();
    for (const int ref : copy.variables()) {
      const int var = PositiveRef(ref);