diff --git a/prusti-viper/src/encoder/safe_clients/ownership_domain/mod.rs b/prusti-viper/src/encoder/safe_clients/ownership_domain/mod.rs
index 4621ca203..62d667b38 100644
--- a/prusti-viper/src/encoder/safe_clients/ownership_domain/mod.rs
+++ b/prusti-viper/src/encoder/safe_clients/ownership_domain/mod.rs
@@ -574,7 +574,7 @@ pub fn build_ownership_domain<'v, 'tcx: 'v>(
         );
         implied_framing_axioms.push(vir::DomainAxiom::new(
             &domain_name,
-            format!("Framing implied by ownership: NoWriteRef && Local"),
+            "Framing implied by ownership: NoWriteRef && Local".to_string(),
             format!("framing_across_stmt_implied_by_ownership_NoWriteRef_and_Local_of_{ty_name}"),
             body,
         ));