diff --git a/viper/src/verifier.rs b/viper/src/verifier.rs
index 60241be0eec..5ad0f24b23a 100644
--- a/viper/src/verifier.rs
+++ b/viper/src/verifier.rs
@@ -19,7 +19,7 @@ use std::path::PathBuf;
 use viper_sys::wrappers::{scala, viper::*};
 
 pub struct Verifier<'a> {
-    env: &'a JNIEnv<'a>,
+    pub env: &'a JNIEnv<'a>,
     verifier_wrapper: silver::verifier::Verifier<'a>,
     verifier_instance: JObject<'a>,
     jni: JniUtils<'a>,