[r2003-06-12 11:47:52 by cvscast] Empty log message

Original author: cvscast Date: 2003-06-12 11:47:52+00:00

[r2003-06-12 11:47:52 by cvscast] Empty log message
Original author: cvscast Date: 2003-06-12 11:47:52+00:00
616aecd7 · Pietro Abate · 90c92e16 · 616aecd7
Commit 616aecd7 authored Oct 05, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

parser/wlexer.ml parser/wlexer.ml +1 -0

No files found.
--- a/parser/wlexer.ml
+++ b/parser/wlexer.ml
@@ -348,6 +348,7 @@ and parse_hexa_char engine lexbuf =
  let set_delta_loc dl = delta_loc := dl

 (* For synchronization on errors in the toplevel ... *)
+(* Issue: file inclusion *)
  let lexbuf = ref None
  let last_tok = ref ("","")