From d90a87d7430d173d09fabe60b1539eb725dd683c Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Tue, 31 Jul 2018 14:04:51 -0700
Subject: [PATCH] [inferbo] Remove temporary fix for Java path

Reviewed By: ezgicicek

Differential Revision: D9055990

fbshipit-source-id: 9b4f577a9
---
 infer/src/bufferoverrun/itv.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/bufferoverrun/itv.ml b/infer/src/bufferoverrun/itv.ml
index a4e24b450..7d80a5a57 100644
--- a/infer/src/bufferoverrun/itv.ml
+++ b/infer/src/bufferoverrun/itv.ml
@@ -70,9 +70,6 @@ module SymbolPath = struct
   let rec pp_partial fmt = function
     | Pvar pvar ->
         Pvar.pp_value fmt pvar
-    (* Temporary fix, see T31250173 *)
-    | Index p when Language.curr_language_is Java ->
-        F.fprintf fmt "%a" pp_partial p
     | Index p ->
         F.fprintf fmt "%a[*]" pp_partial p
     | Field (fn, p) ->