From bc08144137b007798066b939a818a0481f453f2a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 27 Apr 2022 17:16:36 +0200
Subject: Make a minor modification

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

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 49bf3559..64f8f481 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -948,9 +948,11 @@ let get_abs_ancestors (ctx : bs_ctx) (abs : V.abs) : S.call * V.abs list =
 
 (** Small utility.
 
-    Return: (function is monadic, function uses state monad)
+    Return: (function is monadic, if monadic, function uses state monad)
 
     Note that all functions are monadic except some assumed functions.
+    
+    TODO: use an enumeration
  *)
 let fun_is_monadic (fun_id : A.fun_id) : bool * bool =
   match fun_id with
-- 
cgit v1.2.3