sat: fix compilation error

Mizux · Mizux · commit 708262c71618 · 2026-01-07T17:46:34.000+01:00
diff --git a/ortools/sat/probing.cc b/ortools/sat/probing.cc
@@ -103,8 +103,8 @@ class TrailCopy {
       }
       trail_index_[var] = i;
       trail_literals_.push_back(literal);
-      trail_info_.emplace_back(info.level, assignment_type, reason,
-                               reason_clause);
+      trail_info_.push_back({info.level, assignment_type, reason,
+                               reason_clause});
     }
 
     const int num_decisions = trail_.CurrentDecisionLevel();

Original file line number	Diff line number	Diff line change
`@@ -103,8 +103,8 @@ class TrailCopy {`
`103`	`103`	`}`
`104`	`104`	`trail_index_[var] = i;`
`105`	`105`	`trail_literals_.push_back(literal);`
`106`		`- trail_info_.emplace_back(info.level, assignment_type, reason,`
`107`		`- reason_clause);`
	`106`	`+ trail_info_.push_back({info.level, assignment_type, reason,`
	`107`	`+ reason_clause});`
`108`	`108`	`}`
`109`	`109`
`110`	`110`	`const int num_decisions = trail_.CurrentDecisionLevel();`