From 9c8342e95649c8a1ff2d1c8a83729952a17abb60 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Thu, 12 Apr 2018 16:01:29 -0700 Subject: [PATCH] Html debug: fix finish_session Reviewed By: sblackshear Differential Revision: D7607400 fbshipit-source-id: 423533f --- infer/src/backend/printer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/printer.ml b/infer/src/backend/printer.ml index 9d8d27348..af034a547 100644 --- 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 "%a" Io_infer.Html.pp_end_color () ; + F.fprintf !curr_html_formatter "%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)