Fix even more warnings

Signed-off-by: Tej Chajed <[email protected]>
flyvy-verifier · Jul 21, 2023 · 6a2907b · 6a2907b
1 parent 09fddf4
commit 6a2907b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/inference/src/quant.rs b/inference/src/quant.rs
@@ -383,9 +383,9 @@ sort C
             vec![0, 1, 2],
             &[2, 1, 2],
         );
-        let a = |i: usize| format!("A_{}", i);
-        let b = |i: usize| format!("B_{}", i);
-        let c = |i: usize| format!("C_{}", i);
+        let a = |i: usize| format!("A_{i}");
+        let b = |i: usize| format!("B_{i}");
+        let c = |i: usize| format!("C_{i}");
         let ta = |i: usize| Term::Id(a(i));
         let tb = |i: usize| Term::Id(b(i));
         let tc = |i: usize| Term::Id(c(i));

diff --git a/temporal-verifier/src/command.rs b/temporal-verifier/src/command.rs
@@ -612,7 +612,7 @@ impl App {
                             "answer: safe up to {} for given sort bounds",
                             bounded
                                 .depth
-                                .map(|d| format!("depth {}", d))
+                                .map(|d| format!("depth {d}"))
                                 .unwrap_or("any depth".to_string())
                         );
                     }