diff options
| author | Christopher Pulte | 2018-10-10 16:03:57 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2018-10-10 16:03:57 +0100 |
| commit | c4c93e84a889d3b3b371ff57f18442444ac25d61 (patch) | |
| tree | d53f75c6d3e07cac37767ef9524dfccb4897f265 /src/sail_lib.ml | |
| parent | 4f7325d2f81adb8ef6b6b0c2da7c306bb054bc5a (diff) | |
refer to Util.list_init.ml rather than List.init in sail_lib.ml
Diffstat (limited to 'src/sail_lib.ml')
| -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 |