diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-10-13 15:19:28 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-10-13 15:19:28 +0100 |
| commit | 180d194eb28987b50ce46423593a25e035cbd406 (patch) | |
| tree | af2d25c1a77cf43fdcf093ce44da76d6edcb770f /middle_end | |
| parent | 13c15b4a2463a5fed21039e8b71f212825d5d8c9 (diff) | |
| download | ocaml-180d194eb28987b50ce46423593a25e035cbd406.tar.gz | |
Fix typo for presume and presume_arg in internal_variable_names
Diffstat (limited to 'middle_end')
| -rw-r--r-- | middle_end/internal_variable_names.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/internal_variable_names.ml b/middle_end/internal_variable_names.ml index 793b9068ad..7831bee195 100644 --- a/middle_end/internal_variable_names.ml +++ b/middle_end/internal_variable_names.ml @@ -175,7 +175,7 @@ let patomic_fetch_add = "Patomic_fetch_add" let patomic_load = "Patomic_load" let prunstack = "Prunstack" let pperform = "Pperform" -let presume = "Pperform" +let presume = "Presume" let preperform = "Preperform" let ppoll = "Ppoll" @@ -287,7 +287,7 @@ let patomic_fetch_add_arg = "Patomic_fetch_add_arg" let patomic_load_arg = "Patomic_load_arg" let prunstack_arg = "Prunstack_arg" let pperform_arg = "Pperform_arg" -let presume_arg = "Pperform_arg" +let presume_arg = "Presume_arg" let preperform_arg = "Preperform_arg" let ppoll_arg = "Ppoll_arg" |