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