Commit 7cb45e8d authored by MARCHE Claude's avatar MARCHE Claude

why3doc: fixed a stupid bug

parent 50348ca7
......@@ -273,7 +273,7 @@ and raw_html fmt depth = parse
| '{' { fprintf fmt "{"; raw_html fmt (succ depth) lexbuf }
| '}' { if depth = 0 then () else
begin
fprintf fmt "{";
fprintf fmt "}";
raw_html fmt (pred depth) lexbuf
end }
| _ as c { pp_print_char fmt c; raw_html fmt depth lexbuf }
......
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