diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |