diff --git a/src/plugins/variadic/standard.ml b/src/plugins/variadic/standard.ml
index d80886c8c0501c6b987e0e2329bb8e2461e6aad4..996987ac14da81f0a71d19ec1a639ed3f03237f5 100644
--- a/src/plugins/variadic/standard.ml
+++ b/src/plugins/variadic/standard.ml
@@ -292,6 +292,9 @@ let overloaded_call ~fundec overload block loc mk_call vf args =
         raise Translate_call_exn;
   in
 
+  (* Store the translation *)
+  Replacements.add new_callee vf.vf_decl;
+
   (* Rebuild the call *)
   Self.result ~current:true ~level:2
     "Translating call to the specialized version %a."
@@ -635,6 +638,9 @@ let format_fun_call ~fundec env format_fun scope loc mk_call vf args =
   new_callee.vname <- new_name;
   new_globals := glob :: !new_globals;
 
+  (* Store the translation *)
+  Replacements.add new_callee vf.vf_decl;
+
   (* Translate the call *)
   Self.result ~current:true ~level:2
     "Translating call to %s to a call to the specialized version %s."