From 9bdf31b07cc7c52f18679be0471d0c2b66f176d8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 13 Apr 2019 05:49:31 -0500 Subject: [PATCH] fix: missing whitespace in readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fa293f5d..6a37d08e 100644 --- a/README.md +++ b/README.md @@ -368,7 +368,7 @@ val map : string IntMap.t = (IntMap.pp CCFormat.int CCFormat.string_quoted) map;; map = - 1->"1", 2->"2", 3->"3", 4->"4", 5->"5", + 1->"1", 2->"2", 3->"3", 4->"4", 5->"5", 6->"6", 7->"7", 8->"8", 9->"9" - : unit = ()