diff options
| -rw-r--r-- | camlp4/top/camlp4_top.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/top/camlp4_top.ml b/camlp4/top/camlp4_top.ml index 73cf805b9..7906edaab 100644 --- a/camlp4/top/camlp4_top.ml +++ b/camlp4/top/camlp4_top.ml @@ -71,7 +71,7 @@ value wrap f shfn lb = if i < shift then Some ' ' else do { while - lb.lex_curr_pos >= String.length lb.lex_buffer && + lb.lex_curr_pos >= lb.lex_buffer_len && not lb.lex_eof_reached do { lb.refill_buff lb |