diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml index 796e9f9d..73326bdb 100644 --- a/src/data/CCRingBuffer.ml +++ b/src/data/CCRingBuffer.ml @@ -439,8 +439,6 @@ struct end module Bytes = Make_array(Array.ByteArray) -module Floats = Make_array(Array.FloatArray) -module Ints = Make_array(Array.IntArray) -module Bools = Make_array(Array.BoolArray) module Make(Elt:sig type t end) = Make_array(Array.Make(Elt)) + diff --git a/src/data/CCRingBuffer.mli b/src/data/CCRingBuffer.mli index 6a10322f..f420d0a9 100644 --- a/src/data/CCRingBuffer.mli +++ b/src/data/CCRingBuffer.mli @@ -155,8 +155,5 @@ end module Make_array : functor (Array:Array.S) -> S with module Array = Array module Bytes : S with module Array = Array.ByteArray -module Floats : S with module Array = Array.FloatArray -module Ints : S with module Array = Array.IntArray -module Bools : S with module Array = Array.BoolArray module Make: functor(Elt:sig type t end) -> S with module Array = Array.Make(Elt)