Initialize Viper lazily

viperproject · Feb 27, 2023 · 5484ca7 · 5484ca7
1 parent 4b055b7
commit 5484ca7
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> {
-    pub env: &'a JNIEnv<'a>,
+    env: &'a JNIEnv<'a>,
     verifier_wrapper: silver::verifier::Verifier<'a>,
     verifier_instance: JObject<'a>,
     jni: JniUtils<'a>,