From 690f5d7e57008c8a0c4d321072fab443b33357a5 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Thu, 17 Nov 2016 11:31:17 +0000 Subject: [PATCH] Fix doc typo --- lib/irmin.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/irmin.mli b/lib/irmin.mli index 9e15663b6c..9b599d8dca 100644 --- a/lib/irmin.mli +++ b/lib/irmin.mli @@ -2289,7 +2289,7 @@ end format based on {{:https://github.com/janestreet/bin_prot}bin_prot}, with no native synchronization primitives: it is usually what is needed to quickly create a new backend.} - { - {!Make_with_metadata} is similar to {!Make} but allows to + {- {!Make_with_metadata} is similar to {!Make} but allows to specify the kind of metadata stored in the nodes.} {- {!Make_ext} creates a store with a {e deep} embedding of each of the internal stores into separate store, with a total control over