diff options
| -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 dffdbd6c1c..df8c7bbeef 100644 --- a/parsing/g_constr.ml4 +++ b/parsing/g_constr.ml4 @@ -196,7 +196,7 @@ GEXTEND Gram <:ast<(IMPLICITBINDINGS $c1 ($LIST $bl))>> ] ] ; constr10: - [ [ "!"; f = global; args = LIST1 constr9 -> + [ [ "!"; f = global; args = LIST0 constr9 -> <:ast< (APPLISTEXPL $f ($LIST $args)) >> | "!"; f = global; "with"; b = binding_list -> <:ast< (APPLISTWITH $f $b) >> |