From 4b055b7b4edb49a03141732dc1a64285129b9dcc Mon Sep 17 00:00:00 2001
From: Jakub Janaszkiewicz <janaszkiewicz.jakub@gmail.com>
Date: Mon, 20 Feb 2023 00:11:56 +0100
Subject: [PATCH] Add Backend enum

---
 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 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>,