diff options
Diffstat (limited to 'parsing/g_constr.ml4')
-rw-r--r-- | parsing/g_constr.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4 index 96be64616..e9ed83a54 100644 --- a/parsing/g_constr.ml4 +++ b/parsing/g_constr.ml4 @@ -141,7 +141,7 @@ GEXTEND Gram ; vardecls: [ [ id = ident; idl = ident_comma_list_tail; c = type_option -> - <:ast< ($BINDER $c $id ($LIST $idl)) >> + <:ast< (BINDER $c $id ($LIST $idl)) >> | id = ident; "="; c = constr -> <:ast< (ABST #Core#let.cci $c $id) >> ] ] ; |