From b3d2aa1f4d4b60e0a5a9c05127c81504e6b9a0c4 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 14 Dec 2017 20:09:04 +0000
Subject: An experimental version of sail without bitvector start indexes.

Works with the vector branch of asl_parser
---
 lib/ocaml_rts/_tags       | 2 +-
 lib/ocaml_rts/sail_lib.ml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/ocaml_rts/_tags b/lib/ocaml_rts/_tags
index 7d3f2d46..db11bf77 100644
--- a/lib/ocaml_rts/_tags
+++ b/lib/ocaml_rts/_tags
@@ -1,4 +1,4 @@
-true: use_lem
+true: use_lem, debug
 <main.{byte,native}>: use_nums, use_str, use_unix, debug
 <linksem>: include
 <linksem/adaptors>: include
diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml
index dfdd1db9..b24e2fec 100644
--- a/lib/ocaml_rts/sail_lib.ml
+++ b/lib/ocaml_rts/sail_lib.ml
@@ -87,10 +87,10 @@ let undefined_bit () =
 let undefined_bool () =
   if !random then Random.bool () else false
 
-let rec undefined_vector (start_index, len, item) =
+let rec undefined_vector (len, item) =
   if eq_big_int len zero_big_int
   then []
-  else item :: undefined_vector (start_index, sub_big_int len unit_big_int, item)
+  else item :: undefined_vector (sub_big_int len unit_big_int, item)
 
 let undefined_string () = ""
 
-- 
cgit v1.2.3