fix warning

verus-lang · Jan 10, 2025 · 08df165 · 08df165 · utaal · Jan 11, 2025
1 parent 07258e9
commit 08df165
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/rust_verify_test/tests/adts.rs b/source/rust_verify_test/tests/adts.rs
@@ -1812,5 +1812,5 @@ test_verify_one_file! {
         spec fn is_test_minimal(s: Seq<Option<Alternative>>) -> bool {
             &&& forall|b:nat| s[b as int] is Some(Alternative::Yes)
         }
-    } => Err(e) => assert_rust_error_msg(e, todo!())
+    } => Err(_e) => todo!() //assert_rust_error_msg(e, todo!())
 }