vmm_ring: fix create (array size was hardcoded to 1024, independent of optional size argument)

This commit is contained in:
Hannes Mehnert 2019-01-27 13:02:10 +01:00
parent d9f76312ed
commit eb146351e0

View file

@ -9,7 +9,7 @@ type 'a t = {
}
let create ?(size = 1024) neutral () =
{ data = Array.make 1024 (Ptime.min, neutral) ; write = 0 ; size }
{ data = Array.make size (Ptime.min, neutral) ; write = 0 ; size }
let inc t = (succ t.write) mod t.size