From 51811443eeb7c594b8db9bbffd387dc0fbfeffd3 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 7 Nov 2019 16:16:14 +0000
Subject: Backport fixes to SMT generation from poly_mapping branch

---
 language/jib.ott | 1 -
 1 file changed, 1 deletion(-)

(limited to 'language')

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
-- 
cgit v1.2.3