From fec03a1af5f3397b229642bbe5c00b1a3dd03df4 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 8 Mar 2016 17:41:59 +0000
Subject: missing file from last commit

---
 src/lem_interp/run_interp_model.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/run_interp_model.ml b/src/lem_interp/run_interp_model.ml
index 706ab5ac..e40dfe9f 100644
--- a/src/lem_interp/run_interp_model.ml
+++ b/src/lem_interp/run_interp_model.ml
@@ -46,7 +46,7 @@ module Mem = struct
   let find idx m =
     if mem idx m
     then find idx m
-    else List.hd(memory_value_unknown 1)
+    else List.hd(memory_value_undef 1)
 
   let to_string loc v =
     sprintf "[%s] -> %s" (to_string loc)
-- 
cgit v1.2.3