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) ->