From 93119a47e75d4a4d64be5506e5d8ae5c7bb35562 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 5 Feb 2015 22:29:38 +0100 Subject: [PATCH] trailing space --- src/data/CCCache.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCCache.ml b/src/data/CCCache.ml index f5c85cd3..e0340bca 100644 --- a/src/data/CCCache.ml +++ b/src/data/CCCache.ml @@ -330,7 +330,7 @@ module UNBOUNDED(X:HASH) = struct let get c x = H.find c x let set c x y = H.replace c x y - + let size c () = H.length c let iter c f = H.iter f c