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 4ee9cd65..d65f1cb0 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -767,7 +767,7 @@ effect_opt :: 'Effect_opt_' ::= funcl :: 'FCL_' ::= {{ com Function clause }} - {{ aux _ l }} {{ auxparam 'a }} + {{ aux _ annot }} {{ auxparam 'a }} | id pat = exp :: :: Funcl |