From becc1007c2154b32cb85cad7e69d647a430349ce Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 25 Apr 2018 20:17:32 -0500 Subject: [PATCH] chore: reindent --- src/core/CCString.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCString.mli b/src/core/CCString.mli index 29e470ec..e1eabf66 100644 --- a/src/core/CCString.mli +++ b/src/core/CCString.mli @@ -442,7 +442,7 @@ val edit_distance : string -> string -> int the formula [distance a b + distance b c >= distance a c]. *) (** {2 Slices} - + A contiguous part of a string *) module Sub : sig