--- driverInteractive.ml 2004-10-28 15:58:04.000000000 +0300 +++ driverInteractive.ml 2004-10-28 15:56:42.000000000 +0300 @@ -1236,7 +1236,7 @@ files := [| (if use_html_mods o then - Printf.sprintf "\\>\\%d\\\\" !counter + Printf.sprintf "\\>\\%d\\" !counter else Printf.sprintf "%s[%s%5d]" (if new_result && !!term_ansi then "$b" else "$n") (if new_result then "N" else " ") @@ -1255,7 +1255,7 @@ (Printf.sprintf "%s%s%s" (if o.conn_output = HTML then begin - if !!html_mods then Printf.sprintf "\\" r.result_num + if !!html_mods then Printf.sprintf "\\\\" r.result_num else Printf.sprintf "\\" r.result_num; end else "")