diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/l2.ott b/language/l2.ott index f08b089b..13feac23 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -1071,6 +1071,8 @@ def :: 'DEF_' ::= {{ com register declaration }} | dec_comm :: I :: comm {{ com generated comments }} + | fundef1 .. fundefn :: I :: internal_mutrec + {{ com internal representation of mutually recursive functions }} defs :: '' ::= {{ com definition sequence }} @@ -1176,5 +1178,3 @@ terminals :: '' ::= % {{ tex \mbox{$\ottsym{[\textbar\textbar}$} }} % | ||] :: :: list_end % {{ tex \mbox{$\ottsym{\textbar\textbar]}$} }} - - |