diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/language/jib.ott b/language/jib.ott index 1345ba64..6332c403 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -92,7 +92,6 @@ op :: '' ::= cval :: 'V_' ::= | name : ctyp :: :: id - | '&' name : ctyp :: :: ref | value : ctyp :: :: lit | struct { uid0 = cval0 , ... , uidn = cvaln } ctyp :: :: struct | cval != kind id ( ctyp0 , ... , ctypn ) ctyp :: :: ctor_kind |