diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml
index f52d72df8..86b63b1d3 100644
--- a/infer/src/IR/Exceptions.ml
+++ b/infer/src/IR/Exceptions.ml
@@ -86,9 +86,7 @@ exception Internal_error of Localise.error_desc
 
 exception Java_runtime_exception of Typ.Name.t * string * Localise.error_desc
 
-exception
-  Leak of
-    bool * Sil.hpred * (visibility * Localise.error_desc) * bool * PredSymb.resource * L.ocaml_pos
+exception Leak of bool * (visibility * Localise.error_desc) * bool * PredSymb.resource * L.ocaml_pos
 
 exception Missing_fld of Typ.Fieldname.t * L.ocaml_pos
 
@@ -378,7 +376,7 @@ let recognize_exception exn =
       ; visibility= Exn_user
       ; severity= None
       ; category= Prover }
-  | Leak (fp_part, _, (exn_vis, error_desc), done_array_abstraction, resource, ocaml_pos) ->
+  | Leak (fp_part, (exn_vis, error_desc), done_array_abstraction, resource, ocaml_pos) ->
       if done_array_abstraction then
         { name= IssueType.leak_after_array_abstraction
         ; description= error_desc
diff --git a/infer/src/IR/Exceptions.mli b/infer/src/IR/Exceptions.mli
index cca8b511e..0d7172cbc 100644
--- a/infer/src/IR/Exceptions.mli
+++ b/infer/src/IR/Exceptions.mli
@@ -88,13 +88,7 @@ exception Internal_error of Localise.error_desc
 exception Java_runtime_exception of Typ.Name.t * string * Localise.error_desc
 
 exception
-  Leak of
-    bool
-    * Sil.hpred
-    * (visibility * Localise.error_desc)
-    * bool
-    * PredSymb.resource
-    * Logging.ocaml_pos
+  Leak of bool * (visibility * Localise.error_desc) * bool * PredSymb.resource * Logging.ocaml_pos
 
 exception Missing_fld of Typ.Fieldname.t * Logging.ocaml_pos
 
diff --git a/infer/src/biabduction/Abs.ml b/infer/src/biabduction/Abs.ml
index d84dfe00e..e1957a0a4 100644
--- a/infer/src/biabduction/Abs.ml
+++ b/infer/src/biabduction/Abs.ml
@@ -1074,7 +1074,6 @@ let check_junk pname tenv prop =
             let exn_leak =
               Exceptions.Leak
                 ( fp_part
-                , hpred
                 , Errdesc.explain_leak tenv hpred prop alloc_attribute ml_bucket_opt
                 , !Absarray.array_abstraction_performed
                 , resource