From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 10 Feb 2005 16:06:36 +0000 (+0000)
Subject: adapted to optional comment lexer interface
X-Git-Tag: before_svn_merge~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=335acfd6f24de834bec623fdf55ad153b142d087;p=helm.git

adapted to optional comment lexer interface
---

diff --git a/helm/ocaml/cic_disambiguation/test_lexer.ml b/helm/ocaml/cic_disambiguation/test_lexer.ml
index b68d26de3..3e61e702c 100644
--- a/helm/ocaml/cic_disambiguation/test_lexer.ml
+++ b/helm/ocaml/cic_disambiguation/test_lexer.ml
@@ -29,7 +29,7 @@ let ic =
   with Invalid_argument _ -> stdin
 in
 let token_stream =
-  fst (CicTextualLexer2.cic_lexer.Token.tok_func (Stream.of_channel ic))
+  fst ((CicTextualLexer2.cic_lexer ()).Token.tok_func (Stream.of_channel ic))
 in
 let rec dump () =
   let (a,b) = Stream.next token_stream in