delete comment

SoftwareFoundationGroupAtKyotoU · Sep 4, 2023 · 4c163cd · 4c163cd
1 parent 0dd53ff
commit 4c163cd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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;