debian: rebuilt against ocaml 3.08.3

[helm.git] / helm / ocaml / cic_disambiguation / test_lexer.ml

diff --git a/helm/ocaml/cic_disambiguation/test_lexer.ml b/helm/ocaml/cic_disambiguation/test_lexer.ml
index 2c43357499569f1a6d8fabe6e749a02c8f66be1e..3e61e702c0f33bc046931f76320b1fa93477d0fa 100644 (file)
--- a/helm/ocaml/cic_disambiguation/test_lexer.ml
+++ b/helm/ocaml/cic_disambiguation/test_lexer.ml
@@ -28,7 +28,9 @@ let ic =
     open_in Sys.argv.(1)
   with Invalid_argument _ -> stdin
 in
-let token_stream = fst (Lexer.lex.Token.tok_func (Stream.of_channel ic)) in
+let token_stream =
+  fst ((CicTextualLexer2.cic_lexer ()).Token.tok_func (Stream.of_channel ic))
+in
 let rec dump () =
   let (a,b) = Stream.next token_stream in
   if a = "EOI" then raise Stream.Failure;