stop printing model in select_i32, fix #107

OCamlPro · Jan 18, 2024 · 6d716d2 · 6d716d2
1 parent 61a6813
commit 6d716d2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/choice_monad.ml b/src/choice_monad.ml
@@ -128,7 +128,9 @@ struct
           match model with
           | None -> assert false (* ? *)
           | Some model -> (
+            (*
             Format.pp_std "Model:@.%a@." Model.pp model;
+            *)
             let v = Model.evaluate model symbol in
             match v with
             | None -> assert false (* ? *)