Clippy

viperproject · Oct 22, 2023 · 8372022 · 8372022
1 parent 9aed8af
commit 8372022
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/viper/src/verifier.rs b/viper/src/verifier.rs
@@ -9,7 +9,7 @@ use crate::{
     smt_manager::SmtManager, verification_backend::VerificationBackend,
 };
 use backend_common::{SiliconCounterexample, VerificationError, VerificationResult};
-use jni::{errors::Result, objects::JObject, JNIEnv};
+use jni::{objects::JObject, JNIEnv};
 use log::{debug, error, info};
 use prusti_utils::run_timed;
 use std::path::PathBuf;