summaryrefslogtreecommitdiff
path: root/middle_end
diff options
context:
space:
mode:
authorJPR <jprodi04@gmail.com>2019-05-21 10:23:27 +0200
committerJPR <jprodi04@gmail.com>2019-05-21 10:23:27 +0200
commit6dc59549ce7ea3a164f745f205be3a4129e0f117 (patch)
tree159eb69be9c921aacf30e60514724bda7d4ff2a7 /middle_end
parent1aeb9b2301d8f8e53b13410c1421a99ab1cba36e (diff)
downloadocaml-6dc59549ce7ea3a164f745f205be3a4129e0f117.tar.gz
Fixing misspellings
Diffstat (limited to 'middle_end')
-rw-r--r--middle_end/flambda/flambda.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/middle_end/flambda/flambda.ml b/middle_end/flambda/flambda.ml
index 243e2e3f9c..aea872f901 100644
--- a/middle_end/flambda/flambda.ml
+++ b/middle_end/flambda/flambda.ml
@@ -1138,7 +1138,7 @@ let create_set_of_closures ~function_decls ~free_vars ~specialised_args
This would be true when the function is known never to have
been inlined.
- Note that something like that may maybe enforcable in
+ Note that something like that may maybe enforceable in
inline_and_simplify, but there is no way to do that on other
passes.