X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FcicTextualLexer2.mli;h=85ff08bcee4fc9cb6e5510782c38a64d97cf878d;hb=c66e9d17eda5e5defcb363e42d891d2b407cf7c3;hp=f4cbaa1cb5d2f96fb13156d4b0a5558adadf7abb;hpb=8004125685a99b6c0f2f95fd7f3fa09a4f5c9094;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
index f4cbaa1cb..85ff08bce 100644
--- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
+++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
@@ -25,5 +25,5 @@
 
 exception Error of int * int * string
 
-val lex : (string * string) Token.glexer
+val cic_lexer : (string * string) Token.glexer