diff options
Diffstat (limited to '')
-rw-r--r-- | src/PureUtils.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/PureUtils.ml b/src/PureUtils.ml index aa383d8c..9f3bd5ef 100644 --- a/src/PureUtils.ml +++ b/src/PureUtils.ml @@ -186,6 +186,7 @@ let functions_not_mutually_recursive (funs : fun_def list) : bool = (** We use this to check whether we need to add parentheses around expressions. We only look for outer monadic let-bindings. + This is used when printing the branches of `if ... then ... else ...`. *) let rec expression_requires_parentheses (e : texpression) : bool = match e.e with |