From b85a44d557c7c03e0052b03a824612a99409ef03 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 02:02:50 +0100
Subject: Update a comment

---
 src/PureMicroPasses.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/PureMicroPasses.ml')

diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml
index 99598937..59871600 100644
--- a/src/PureMicroPasses.ml
+++ b/src/PureMicroPasses.ml
@@ -617,7 +617,9 @@ let filter_if_backward_with_no_outputs (def : fun_def) : fun_def option =
   if Option.is_some def.back_id && def.signature.outputs = [] then None
   else Some def
 
-(** Add unit arguments (optionally) for functions with no arguments, and change their return type *)
+(** Add unit arguments (optionally) to functions with no arguments, and
+    change their output type to use `result`
+  *)
 let to_monadic (add_unit_args : bool) (def : fun_def) : fun_def =
   (* Update the body *)
   let obj =
-- 
cgit v1.2.3