diff --git a/src/data/CCRingBuffer.ml b/src/data/CCRingBuffer.ml index d571d6f7..796e9f9d 100644 --- a/src/data/CCRingBuffer.ml +++ b/src/data/CCRingBuffer.ml @@ -444,5 +444,3 @@ module Ints = Make_array(Array.IntArray) module Bools = Make_array(Array.BoolArray) module Make(Elt:sig type t end) = Make_array(Array.Make(Elt)) - -