From 2a6a69df9575c7b704e53606385bd43bbad5ec12 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 12 Mar 2014 16:31:24 +0000
Subject: Remove automagic register initialization

---
 src/lem_interp/run_interp.ml | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index c9222463..71719554 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -101,16 +101,6 @@ let id_compare i1 i2 =
 
 module Reg = struct
   include Map.Make(struct type t = id let compare = id_compare end)
-
-  let zero_vec =
-    V_vector (zero_big_int, true, Array.to_list (Array.make 64
-    (V_lit(L_aux(L_zero, Unknown)))))
-
-  let find id reg =
-    try find id reg
-    with Not_found ->
-      (* default to a 64-bit big-endian vector of zero bits *)
-      zero_vec
 end ;;
 
 module Mem = struct
-- 
cgit v1.2.3