From 4c163cdc17ab1ac303f9c26b36da494d3dd9f0fe Mon Sep 17 00:00:00 2001
From: Ryota Kobayashi <ryota5884@icloud.com>
Date: Mon, 4 Sep 2023 15:01:37 +0900
Subject: [PATCH] delete comment

---
 src/convMoCHi.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/convMoCHi.ml b/src/convMoCHi.ml
index 6541cb90..ac169316 100644
--- a/src/convMoCHi.ml
+++ b/src/convMoCHi.ml
@@ -225,7 +225,6 @@ module Mochi = struct
         pf " :: ";
         pp_exp t;
       ]
-    (* TODO: It is not right. We have to use monad to use variables that is defined or updated in branch *)
     | Match (x, e1, h, r, e2) ->
       pl [
         pf "( match %s with " x;