Fixing STATS build

msoos · Apr 11, 2024 · ac60015 · ac60015
1 parent 75e41aa
commit ac60015
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/searcher.cpp b/src/searcher.cpp
@@ -1541,7 +1541,7 @@ void Searcher::dump_sql_clause_data(
         , antec_data
         , old_decision_level
         , trail.size()
-        , params.conflictsDoneThisRestart
+        , params.confl_this_rst
         , (int)params.rest_type
         , hist
         , is_decision