diff --git a/infer/src/backend/localise.ml b/infer/src/backend/localise.ml index f56c22007..aa9ca80dc 100644 --- a/infer/src/backend/localise.ml +++ b/infer/src/backend/localise.ml @@ -604,7 +604,7 @@ let desc_leak hpred_type_opt value_str_opt resource_opt resource_action_opt loc let desc_str = match resource_opt with | Some Sil.Rmemory _ -> mem_dyn_allocated ^ _to ^ value_str - | Some Sil.Rfile -> "resource" ^ typ_str ^ "aquired" ^ _to ^ value_str + | Some Sil.Rfile -> "resource" ^ typ_str ^ "acquired" ^ _to ^ value_str | Some Sil.Rlock -> lock_acquired ^ _on ^ value_str | Some Sil.Rignore | None -> if value_str_opt = None then "memory" else value_str in