diff options
| -rw-r--r-- | parsing/g_constr.ml4 | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4 index dead4a876f..8931d67f3f 100644 --- a/parsing/g_constr.ml4 +++ b/parsing/g_constr.ml4 @@ -207,14 +207,10 @@ GEXTEND Gram ] ] ; forall: - [ [ "forall" -> () - | IDENT "Π" -> () - ] ] + [ [ "forall" -> () ] ] ; lambda: - [ [ "fun" -> () - | IDENT "λ" -> () - ] ] + [ [ "fun" -> () ] ] ; record_declaration: [ [ fs = LIST1 record_field_declaration SEP ";" -> CRecord (loc, None, fs) |