diff --git a/infer/src/quandary/TaintAnalysis.ml b/infer/src/quandary/TaintAnalysis.ml
index 34fba5ac7..4001509b3 100644
--- a/infer/src/quandary/TaintAnalysis.ml
+++ b/infer/src/quandary/TaintAnalysis.ml
@@ -630,11 +630,13 @@ module Make (TaintSpecification : TaintSpec.S) = struct
                       |> exec_write dummy_ret_access_expr rhs_exp
                   | _ ->
                       L.internal_error "Unexpected call to operator= %a in %a" HilInstr.pp instr
-                        Typ.Procname.pp callee_pname ;
+                        Typ.Procname.pp
+                        (Procdesc.get_proc_name proc_data.pdesc) ;
                       access_tree )
               | _ ->
                   L.internal_error "Unexpected call to operator= %a in %a" HilInstr.pp instr
-                    Typ.Procname.pp callee_pname ;
+                    Typ.Procname.pp
+                    (Procdesc.get_proc_name proc_data.pdesc) ;
                   access_tree )
             | _ ->
                 let model =