From 015babc89584b024e6cb66006f4eb57a2fe76c09 Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Sat, 28 Feb 2015 23:02:30 +0900 Subject: [PATCH] Fix build pre 4.02 --- src/nstream.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nstream.ml b/src/nstream.ml index 28505d86..124a42e9 100644 --- a/src/nstream.ml +++ b/src/nstream.ml @@ -35,7 +35,7 @@ and t = cons lazy_t let of_string ?(start_pos=Position.zero) ?(start_offset=0) string = let lexbuf = { Lexing. - refill_buff = (fun lexbuf -> lexbuf.lex_eof_reached <- true); + refill_buff = (fun lexbuf -> lexbuf.Lexing.lex_eof_reached <- true); lex_buffer = string; lex_buffer_len = String.length string; lex_abs_pos = start_offset;