diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/ExtractBuiltin.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml index 248d0fa8..a7ab6da0 100644 --- a/compiler/ExtractBuiltin.ml +++ b/compiler/ExtractBuiltin.ml @@ -555,7 +555,7 @@ let builtin_fun_effects = no_fail_no_state_funs in (* TODO: all the functions registered in the [builtin_funs] above should - be considered a not using a state. There is a lot of redundancy + be considered as not using a state. There is a lot of redundancy right now. *) let no_state_funs = [ |