Fix clippy::uninlined_format_args in temporal.rs

Signed-off-by: Oded Padon <[email protected]>
flyvy-verifier · Jul 23, 2023 · eaf5a6a · eaf5a6a
1 parent 5c11e20
commit eaf5a6a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/verify/src/temporal.rs b/verify/src/temporal.rs
@@ -256,7 +256,7 @@ impl TemporalAssertion {
                 | Term::UnaryOp(UOp::Next, _)
                 | Term::UnaryOp(UOp::Previous, _)
                 | Term::UnaryOp(UOp::Prime, _) => {
-                    panic!("Unexpected temporal operator: {}", body)
+                    panic!("Unexpected temporal operator: {body}")
                 }
                 Term::BinOp(BinOp::Equals, t1, t2)
                 | Term::BinOp(BinOp::Iff, t1, t2)
@@ -574,7 +574,7 @@ mod tests {
 
         println!("{a:?}");
         let s = a.livenss_to_safety().unwrap();
-        println!("\n\n\n{:?}\n\n\n", s);
+        println!("\n\n\n{s:?}\n\n\n");
         println!("\ninit:\n{}\n", s.init);
         println!("\nnext:\n{}\n", s.next);
         println!("\nassumed_inv:\n{}\n", s.assumed_inv);