version 0.7.1

[helm.git] / helm / ocaml / cic_disambiguation / cicTextualLexer2.mli

diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
index 85ff08bcee4fc9cb6e5510782c38a64d97cf878d..7e3ac625bc3625fbf47e48392ec43fd7953a4546 100644 (file)
--- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
+++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
@@ -25,5 +25,8 @@
 
 exception Error of int * int * string
 
-val cic_lexer : (string * string) Token.glexer
+  (** lexer
+  * @param comments if true the lexer will return COMMENT tokens, otherwise they
+  *   will be ignored. Defaults to false *)
+val cic_lexer: ?comments:bool -> unit -> (string * string) Token.glexer