diff options
Diffstat (limited to 'syntax')
| -rw-r--r-- | syntax/PPCases.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/syntax/PPCases.v b/syntax/PPCases.v index ff2aca9b39..3bdf47feb0 100644 --- a/syntax/PPCases.v +++ b/syntax/PPCases.v @@ -40,13 +40,13 @@ Syntax constr | tomatch [ << (TOMATCH ($LIST $lc)) >> ] -> [(NECOMMANDLIST2 ($LIST $lc)):E] ; - level 10: + level 10: pattconstruct [ << (PATTCONSTRUCT $C $D ($LIST $T)) >> ] -> [(APPLIST $C $D ($LIST $T))] ; level 0: - pattconstructatomic [ << (PATTCONSTRUCT $C) >> ] -> [ $C ] + pattconstructatomic [ << (PATTCONSTRUCT $C) >> ] -> [ $C:E ] ; level 8: |