From 70d776e689c4b04daafa208202d799ec5afce4bc Mon Sep 17 00:00:00 2001 From: Ryota Kobayashi Date: Tue, 7 Nov 2023 14:51:43 +0900 Subject: [PATCH] comment out --- src/consort.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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