Commit a393246b authored by POTTIER Francois's avatar POTTIER Francois

Fix off-by-one error in end position of attributes.

parent 705c6d03
......@@ -449,7 +449,7 @@ rule main = parse
{ let openingpos = lexeme_start_p lexbuf in
let stretchpos = lexeme_end_p lexbuf in
let closingpos = attribute openingpos lexbuf in
let pos = Positions.lex_join openingpos closingpos in
let pos = Positions.lex_join openingpos (lexeme_end_p lexbuf) in
let attr = mk_stretch stretchpos closingpos false [] in
if percent = "" then
(* No [%] sign: this is a normal attribute. *)
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment