From e87e2b007d0ccc6b89d6e08b9b8b0c5942aaa58e Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 15 Jun 2017 09:23:41 -0700
Subject: [PATCH] [AI] escape html output

Summary: Looks much less confusing when C++ templates with `<stuff>` are involved.

Reviewed By: mbouaziz

Differential Revision: D5255551

fbshipit-source-id: f4a93e6
---
 infer/src/checkers/AbstractInterpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/checkers/AbstractInterpreter.ml b/infer/src/checkers/AbstractInterpreter.ml
index 35462f684..f699375b2 100644
--- a/infer/src/checkers/AbstractInterpreter.ml
+++ b/infer/src/checkers/AbstractInterpreter.ml
@@ -92,7 +92,7 @@ module MakeNoCFG
           let instrs = List.map ~f:fst instr_ids in
           L.d_strln
             (Format.asprintf "PRE: %a@.INSTRS: %aPOST: %a@."
-               Domain.pp pre (Sil.pp_instr_list Pp.text) instrs Domain.pp astate_post);
+               Domain.pp pre (Sil.pp_instr_list Pp.(html Green)) instrs Domain.pp astate_post);
           NodePrinter.finish_session (CFG.underlying_node node);
         end;
       let inv_map'' =