diff options
Diffstat (limited to 'syntax')
| -rwxr-xr-x | syntax/PPConstr.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syntax/PPConstr.v b/syntax/PPConstr.v index 9b37f4aa70..800d06d203 100755 --- a/syntax/PPConstr.v +++ b/syntax/PPConstr.v @@ -84,7 +84,7 @@ Syntax constr (* Things parsed in command8 *) level 8: lambda [(LAMBDA $Dom [$x]$Body)] - -> [(LAMBOX (BINDERS (BINDER $Dom $x)) $body)] + -> [(LAMBOX (BINDERS (BINDER $Dom $x)) $Body)] | lambda_anon [(LAMBDA $Dom [<>]$Body)] -> [(LAMBOX (BINDERS (BINDER $Dom _)) $Body)] | lambdalist [(LAMBDALIST $c [$x]$body)] |