Fix clippy error

viperproject · Mar 25, 2024 · bd42081 · bd42081
1 parent 1da7b70
commit bd42081
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,
         ));