From 56132eacad86e43444a36bbdf30d4e6c64ac70fb Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 20 Oct 2014 23:03:59 +0200 Subject: [PATCH] removed useless comment --- core/CCMap.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/core/CCMap.ml b/core/CCMap.ml index f2b7c50b..0ae3cb3f 100644 --- a/core/CCMap.ml +++ b/core/CCMap.ml @@ -100,10 +100,6 @@ module Make(O : Map.OrderedType) = struct ) m; Buffer.add_string buf stop - (*$T - CCPrint.to_string (pp CCPrint.int) [1;2;3] = "[1, 2, 3]" - *) - let print ?(start="[") ?(stop="]") ?(arrow="->") ?(sep=", ") pp_k pp_v fmt m = Format.pp_print_string fmt start; let first = ref true in