diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/jib.ott b/language/jib.ott index f0173660..4f8eeacc 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -163,7 +163,7 @@ instr :: 'I_' ::= | clear ctyp name :: :: clear | undefined ctyp :: :: undefined | match_failure :: :: match_failure - | end :: :: end + | end name :: :: end % All instructions containing nested instructions can be flattened % away. try and throw only exist for internal use within |