comment out

SoftwareFoundationGroupAtKyotoU · Nov 7, 2023 · 70d776e · 70d776e
1 parent b6a043c
commit 70d776e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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