diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index 9c801336..6b81b6e8 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -445,7 +445,7 @@ pat :: 'P_' ::= % | ( pat : typ ) :: :: typ % {{ com Typed patterns }} % C-style - | ( ( typ ) pat ) :: :: typ + | ( typ ) pat :: :: typ {{ com typed pattern }} | id :: :: id |