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

---
 src/value2.lem | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/value2.lem')

diff --git a/src/value2.lem b/src/value2.lem
index 0afaa2d1..a334ac58 100644
--- a/src/value2.lem
+++ b/src/value2.lem
@@ -60,4 +60,8 @@ type vl =
   | VL_int of integer
   | VL_string of string
   | VL_real of string
-  | VL_null (* Used for unitialized values and null pointers in C compilation *)
+  | VL_tuple of list vl
+  | VL_matcher of int * int
+  | VL_list of list vl
+  | VL_enum of string
+  | VL_ref of string
-- 
cgit v1.2.3