diff options
| author | Son HO | 2024-04-26 10:30:09 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-26 10:30:09 +0200 |
| commit | 518fa3f104d6b98528873d4bf37e182ee1bbe69d (patch) | |
| tree | 4268edd5430a9130f2cebf4a7989fa31419b683d /compiler | |
| parent | dbabb0124814c38f11f839f8a67146011107133d (diff) | |
Update compiler/ExtractBuiltin.ml
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Diffstat (limited to 'compiler')
| -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 = [ |