diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-07-25 14:45:46 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-07-29 08:36:53 +0200 |
| commit | 4c303cc88a511966aa76339c119e7d1bf2f1ac32 (patch) | |
| tree | cd152b1a7e754d7dc71781e11c9626244731e5a3 /middle_end | |
| parent | a34c3e3ee5d46b404f0b7c9d7c3ed7be34218701 (diff) | |
| download | ocaml-4c303cc88a511966aa76339c119e7d1bf2f1ac32.tar.gz | |
Merge pull request #8826 from glondu/4.08-spelling-errors
Fix spelling errors reported by Lintian
(cherry picked from commit c808ce7068f3e31975594bcd5e6a41dceab3a80e)
Diffstat (limited to 'middle_end')
| -rw-r--r-- | middle_end/flambda/inlining_transforms.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/middle_end/flambda/inlining_transforms.ml b/middle_end/flambda/inlining_transforms.ml index b08e62bb0a..c46a6cbe6c 100644 --- a/middle_end/flambda/inlining_transforms.ml +++ b/middle_end/flambda/inlining_transforms.ml @@ -118,7 +118,7 @@ let inline_by_copying_function_body ~env ~r && ((not default_inline) || (not default_specialise)) then (* When the function inlined function is a stub, the annotation is reported to the function applications inside the stub. - This allows to report the annotation to the application the + This allows reporting the annotation to the application the original programmer really intended: the stub is not visible in the source. *) set_inline_attribute_on_all_apply body |