chore: reindent

This commit is contained in:
Simon Cruanes 2018-04-25 20:17:32 -05:00
parent b27acb9bd2
commit becc1007c2

View file

@ -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