Remove not strictly necessary dep

model-checking · Dec 1, 2023 · e4f3cfd · e4f3cfd
1 parent 1c71508
commit e4f3cfd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/library/kani_macros/Cargo.toml b/library/kani_macros/Cargo.toml
@@ -15,4 +15,4 @@ proc-macro = true
 proc-macro2 = "1.0"
 proc-macro-error = "1.0.4"
 quote = "1.0.20"
-syn = { version = "2.0.18", features = ["full", "visit-mut", "visit", "extra-traits"] }
+syn = { version = "2.0.18", features = ["full", "visit-mut", "visit"] }
diff --git a/library/kani_macros/src/sysroot/contracts.rs b/library/kani_macros/src/sysroot/contracts.rs
@@ -608,7 +608,7 @@ impl<'a> ContractConditionsHandler<'a> {
                 .enumerate()
                 .find_map(|(i, elem)| is_replace_return_havoc(elem).then_some(i))
                 .unwrap_or_else(|| {
-                    panic!("ICE: Could not find result let binding in statement sequence {stmts:?}")
+                    panic!("ICE: Could not find result let binding in statement sequence")
                 });
             // We want the result assign statement to end up as the last statement in the first
             // vector, hence the `+1`.