Commit 06d93cdd authored by POTTIER Francois's avatar POTTIER Francois

Removed an assertion in [positions.ml] that would prevent a meaningful

error from being displayed when [pos_fname] has not been initialized.
parent 44076230
......@@ -99,7 +99,7 @@ let string_of_lex_pos p =
let string_of_pos p =
let filename = filename_of_position p in
assert (filename <> "");
(* [filename] is hopefully not "". *)
let l = line p.start_p in
let c1, c2 = characters p.start_p p.end_p in
Printf.sprintf "File \"%s\", line %d, characters %d-%d" filename l c1 c2
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment