From af0635dab7a6ce79f5d261fe40158fd42861dca8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 10 Jun 2019 16:04:01 -0500
Subject: [PATCH] fix: remove dead code

---
 src/msat-solver/Sidekick_msat_solver.ml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/msat-solver/Sidekick_msat_solver.ml b/src/msat-solver/Sidekick_msat_solver.ml
index bac381b2..2118b50c 100644
--- a/src/msat-solver/Sidekick_msat_solver.ml
+++ b/src/msat-solver/Sidekick_msat_solver.ml
@@ -572,12 +572,6 @@ module Make(A : ARG)
       in
       do_on_exit ();
       Sat m
-      (*
-      let env = Ast.env_empty in
-      let m = Model.make ~env in
-         …
-      Unknown U_incomplete (* TODO *)
-      *)
     | Sat_solver.Unsat us ->
       let proof =
         try