From 5bed2d1c5f4ec2f7186baee56bd21113b1ccca8b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 26 Sep 2021 23:56:40 -0400
Subject: [PATCH] detail

---
 src/sat/Solver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/Solver.ml b/src/sat/Solver.ml
index f56f9801..5989ad6c 100644
--- a/src/sat/Solver.ml
+++ b/src/sat/Solver.ml
@@ -749,7 +749,7 @@ module Make(Plugin : PLUGIN)
     n_decisions = Stat.mk_int stat "sat.n-decisions";
     n_propagations = Stat.mk_int stat "sat.n-propagations";
     n_restarts = Stat.mk_int stat "sat.n-restarts";
-    n_minimized_away = Stat.mk_int stat "sat.n-confl-minimized-away";
+    n_minimized_away = Stat.mk_int stat "sat.n-confl-lits-minimized-away";
 
     on_conflict = None;
     on_decision= None;