- factorized DisambiguateChoices module

[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 f4cbaa1cb5d2f96fb13156d4b0a5558adadf7abb..85ff08bcee4fc9cb6e5510782c38a64d97cf878d 100644 (file)
--- 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