Html debug: fix finish_session

Reviewed By: sblackshear Differential Revision: D7607400 fbshipit-source-id: 423533f
7 years ago · 9c8342e956
parent 950f46a3b6
commit 9c8342e956
1 changed files with 1 additions and 1 deletions
--- a/infer/src/backend/printer.ml
+++ b/infer/src/backend/printer.ml
@ -347,7 +347,7 @@ let node_start_session node session =
 let node_finish_session node =
  if not Config.only_cheap_debug then force_delayed_prints () else L.reset_delayed_prints () ;
  if Config.write_html then (
-    F.fprintf !curr_html_formatter "</LISTING>%a" Io_infer.Html.pp_end_color () ;
+    F.fprintf !curr_html_formatter "</LISTING>%a@?" Io_infer.Html.pp_end_color () ;
    let source = (Procdesc.Node.get_loc node).file in
    NodesHtml.finish_node
      (Procdesc.Node.get_proc_name node)