From 78591cf6219d67e91301b8fbbc339804e202f361 Mon Sep 17 00:00:00 2001 From: nilsbecker Date: Sat, 24 Jun 2017 18:16:21 +0200 Subject: [PATCH] removed trailing spaces --- src/core/CCArray_slice.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCArray_slice.mli b/src/core/CCArray_slice.mli index ff93c946..4450ddae 100644 --- a/src/core/CCArray_slice.mli +++ b/src/core/CCArray_slice.mli @@ -83,7 +83,7 @@ val reverse_in_place : 'a t -> unit val sorted : ('a -> 'a -> int) -> 'a t -> 'a array (** [sorted cmp a] makes a copy of [a] and sorts it with [cmp]. @since 1.0 *) - + val sort_indices : ('a -> 'a -> int) -> 'a t -> int array (** [sort_indices cmp a] returns a new array [b], with the same length as [a], such that [b.(i)] is the index at which the [i]-th element of [sorted cmp a]