From 8ec4ba09ac12643ccacde76e120f23281d6af4b6 Mon Sep 17 00:00:00 2001 From: carm Date: Tue, 17 Feb 2015 00:57:08 -0500 Subject: [PATCH] remove white space --- src/data/CCRingBuffer.ml | 2 -- 1 file changed, 2 deletions(-) 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)) - -