diff options
Diffstat (limited to 'syntax')
| -rwxr-xr-x | syntax/PPConstr.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/syntax/PPConstr.v b/syntax/PPConstr.v index ad74cd462e..25f8a2c7f7 100755 --- a/syntax/PPConstr.v +++ b/syntax/PPConstr.v @@ -129,6 +129,7 @@ Syntax constr | lambdal_cons [(LAMLBOX $pbi $c (IDS ($LIST $ids)) [$id]$body)] -> [(LAMLBOX $pbi $c (IDS ($LIST $ids) $id) $body)] + | letin [<<[$x = $A] $B>>] -> [ [ <hov 0> "[" $x ":=" $A "]" [0 1] $B:E ] ] | pi [<<($x : $A)$B>>] -> [(PRODBOX (BINDERS) <<($x : $A)$B>>)] | prodlist [(PRODLIST $c $b)] |