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