diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index 63c86126..9c739ec4 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -57,6 +57,7 @@ grammar name :: '' ::= | id nat :: :: name + | global id nat :: :: global | have_exception nat :: :: have_exception | current_exception nat :: :: current_exception | throw_location nat :: :: throw_location |