summaryrefslogtreecommitdiff
path: root/compiler/FunsAnalysis.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--compiler/FunsAnalysis.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml
index 9413bd6a..4d33056b 100644
--- a/compiler/FunsAnalysis.ml
+++ b/compiler/FunsAnalysis.ml
@@ -16,7 +16,7 @@ module EU = ExpressionsUtils
*)
type fun_info = {
can_fail : bool;
- (* Not used yet: all the extracted functions use an error monad *)
+ (* Not used yet: all the extracted functions use an error monad *)
stateful : bool;
divergent : bool; (* Not used yet *)
}