Add Backend enum

viperproject · Feb 27, 2023 · 4b055b7 · 4b055b7
1 parent e4896c0
commit 4b055b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>,