X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FcicTextualLexer2.mli;fp=helm%2Focaml%2Fcic_disambiguation%2FcicTextualLexer2.mli;h=7e3ac625bc3625fbf47e48392ec43fd7953a4546;hb=394bf3a0ca050cf97b1f318363e2e353f67141ad;hp=85ff08bcee4fc9cb6e5510782c38a64d97cf878d;hpb=8c71b573edef611935725506a8db5d676e8d36b1;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
index 85ff08bce..7e3ac625b 100644
--- 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