diff options
| author | Alasdair Armstrong | 2019-11-07 16:16:14 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-07 17:48:15 +0000 |
| commit | 51811443eeb7c594b8db9bbffd387dc0fbfeffd3 (patch) | |
| tree | d674c7a81d246d2d21b487b96b22395701d551a3 /language | |
| parent | e77a9d4b81c042c3aeefbb54e2d2ce9e28ca2132 (diff) | |
Backport fixes to SMT generation from poly_mapping branch
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 |