diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 06b26765..3c3cf8e0 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -95,7 +95,7 @@ let mk_namesectn _ = Name_sect_aux(Name_sect_none,Unknown) let make_range_sugar_bounded typ1 typ2 = ATyp_app(Id_aux(Id("range"),Unknown),[typ1; typ2;]) let make_range_sugar typ1 = - make_range_sugar_bounded typ1 (ATyp_aux(ATyp_constant(0), Unknown)) + make_range_sugar_bounded (ATyp_aux(ATyp_constant(0), Unknown)) typ1 let make_r bot top = match bot,top with |