From 692babd59421995809ce0cf7d4354a591dc73fe3 Mon Sep 17 00:00:00 2001
From: Son HO
Date: Thu, 22 Sep 2022 16:28:52 +0200
Subject: Update src/FunsAnalysis.ml

---
 src/FunsAnalysis.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml
index 39fa316d..33f77f89 100644
--- a/src/FunsAnalysis.ml
+++ b/src/FunsAnalysis.ml
@@ -1,6 +1,6 @@
 (** Compute various information, including:
     - can a function fail (by having `Fail` in its body, or transitively
-      calling a function which can fail), false for globals
+      calling a function which can fail - this is false for globals)
     - can a function diverge (by being recursive, containing a loop or
       transitively calling a function which can diverge)
     - does a function perform stateful operations (i.e., do we need a state
-- 
cgit v1.2.3