diff --git a/infer/src/checkers/purity.ml b/infer/src/checkers/purity.ml
index f0738780f..f6fbd5a57 100644
--- a/infer/src/checkers/purity.ml
+++ b/infer/src/checkers/purity.ml
@@ -162,8 +162,9 @@ module TransferFunctions = struct
                 if Typ.Procname.is_constructor called_pname then Domain.pure
                 else Domain.impure_global ) )
     | Call (_, Indirect _, _, _, _) ->
-        (* This should never happen in Java. Fail if it does. *)
-        L.(die InternalError) "Unexpected indirect call %a" HilInstr.pp instr
+        (* This should never happen in Java *)
+        debug "Unexpected indirect call %a" HilInstr.pp instr ;
+        AbstractDomain.Types.Top
     | _ ->
         astate