From 8cbb9c4073d10f26cb90407eb5523854b95b5f5b Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 1 Jul 2024 17:52:55 +0200
Subject: [PATCH] debugging prism file passing

---
 examples/shields/rl/utils.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/shields/rl/utils.py b/examples/shields/rl/utils.py
index 29d9d98..5a5b56c 100644
--- a/examples/shields/rl/utils.py
+++ b/examples/shields/rl/utils.py
@@ -86,6 +86,8 @@ class MiniGridShieldHandler(ShieldHandler):
 
     def __create_prism(self):
         if self.prism_file is not None:
+            print(self.prism_file)
+            print(self.prism_path)
             shutil.copyfile(self.prism_file, self.prism_path)
             return
         if self.prism_config is None: