From 1b27222cd06d824cf72d339d5acecf4d521ddd0f Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 20 Nov 2019 19:19:06 +0000
Subject: Allow undefined values in IR for SMT generation

Means we can avoid the use of -undefined_gen for Sail->SMT
---
 src/value2.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/value2.lem')

diff --git a/src/value2.lem b/src/value2.lem
index ec0cd5a8..1c525f80 100644
--- a/src/value2.lem
+++ b/src/value2.lem
@@ -60,7 +60,7 @@ type vl =
   | VL_int of integer
   | VL_string of string
   | VL_real of string
-  | VL_tuple of list vl
-  | VL_list of list vl
+  | VL_empty_list
   | VL_enum of string
   | VL_ref of string
+  | VL_undefined
-- 
cgit v1.2.3