diff --git a/viper/src/verifier.rs b/viper/src/verifier.rs
index c0d3805a3b9..3a91512bcd5 100644
--- 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;