diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/language/l2.ott b/language/l2.ott index d010bc67..3418e673 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -263,8 +263,6 @@ grammar typ :: 'Typ_' ::= {{ com type expressions, of kind $[[Type]]$ }} {{ aux _ l }} - | _ :: :: wild - {{ com unspecified type }} | id :: :: id {{ com defined type }} | kid :: :: var |