diff options
Diffstat (limited to 'syntax')
| -rwxr-xr-x | syntax/PPConstr.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/syntax/PPConstr.v b/syntax/PPConstr.v index 0b111a69f1..492c5cbbaa 100755 --- a/syntax/PPConstr.v +++ b/syntax/PPConstr.v @@ -33,7 +33,9 @@ Syntax constr | bindersone [ << (BINDERS (BINDER $c ($LIST $id))) >> ] -> [ [<hov 0> (IDBINDER ($LIST $id))] ":" $c:E ] - | letbinder [ << (BINDERS (LETBINDER $c $id)) >> ] -> + | letbindercons [ << (BINDERS (LETBINDER $c $id) ($LIST $b)) >> ] -> + [ [<hov 0> id ":=" [0 1] $c:E ";" [1 0] (BINDERS ($LIST $b)) ] ] + | letbinderone [ << (BINDERS (LETBINDER $c $id)) >> ] -> [ [<hov 0> id ":=" [0 1] $c:E ] ] ; |