refactor: inline variable (#11422)

Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Jan 30, 2025 · 458eec9 · 458eec9
1 parent 580256f
commit 458eec9
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/sat/sat.ml b/src/sat/sat.ml
@@ -313,10 +313,7 @@ module Make (User : USER) = struct
          ++ Pp.text " ("
          ++ pp_reason reason
          ++ Pp.char ')');
-    match
-      let old_value = lit_value lit in
-      old_value
-    with
+    match lit_value lit with
     | False -> false (* Conflict *)
     | True -> true (* Already set (shouldn't happen) *)
     | Undecided ->