From e4c71e75166eba0db7dfbbedb27286e29a955757 Mon Sep 17 00:00:00 2001
From: Jakub Janaszkiewicz <janaszkiewicz.jakub@gmail.com>
Date: Fri, 1 Sep 2023 15:45:30 +0200
Subject: [PATCH] Clippy

---
 viper/src/verifier.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;