From ce72f53e524a1ad490a332137f6248a3817f06fa Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 1 Oct 2024 22:56:05 +0100 Subject: [PATCH] chore: fmt --- lib/cset.mli | 1 - 1 file changed, 1 deletion(-) diff --git a/lib/cset.mli b/lib/cset.mli index fcc3c4bc..f1729d23 100644 --- a/lib/cset.mli +++ b/lib/cset.mli @@ -80,5 +80,4 @@ val csingle : char -> t val is_empty : t -> bool val prepend : t -> 'a list -> (t * 'a list) list -> (t * 'a list) list val pick : t -> c - val offset : int -> t -> t