From c4c93e84a889d3b3b371ff57f18442444ac25d61 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 10 Oct 2018 16:03:57 +0100
Subject: refer to Util.list_init.ml rather than List.init in sail_lib.ml

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

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 28015945..eecf9579 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -1124,7 +1124,7 @@ let cycle_count () = ()
 
 (* TODO range, atom, register(?), int, nat, bool, real(!), list, string, itself(?) *)
 let rand_zvector (g : 'generators) (size : int) (order : bool) (elem_gen : 'generators -> 'a) : 'a list =
-  List.init size (fun _ -> elem_gen g)
+  Util.list_init size (fun _ -> elem_gen g)
 
 let rand_zbit (g : 'generators) : bit =
   if Random.bool() then B0 else B1
-- 
cgit v1.2.3