From debd8bcaf8d465b2be16a5bf6cb6b26ece9c020e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 19 Jul 2021 23:05:03 -0400
Subject: [PATCH] fix warning

---
 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 2e6e18e1..d8f2ee8c 100644
--- a/src/sat/Solver.ml
+++ b/src/sat/Solver.ml
@@ -1163,7 +1163,7 @@ module Make(Plugin : PLUGIN)
 
    (* minimize conflict by removing atoms whose propagation history
       is ultimately self-subsuming with [lits] *)
-   let minimize_conflict (self:t) (c_level:int)
+   let minimize_conflict (self:t) (_c_level:int)
        (learnt: atom Vec.t) : unit =
      let store = self.store in