diff --git a/src/consort.ml b/src/consort.ml
index f7152143..6b13ee30 100644
--- a/src/consort.ml
+++ b/src/consort.ml
@@ -246,7 +246,7 @@ let convmochi ~opts file =
   let file = open_out "./test/to_mochi.ml" in
   ConvMoCHi.Mochi.write_to_channel_prog prog file;
   Out_channel.close file;
-  let (res_out, res_err) = CallMoCHi.call_mochi in
+  (* let (res_out, res_err) = CallMoCHi.call_mochi in
   print_endline res_out;
-  print_endline res_err;
+  print_endline res_err; *)
   match ownership_res with None -> Unverified Aliasing | Some _ -> Verified