From 3beadd3985e6cc36721113090ddde31ecbefa76a Mon Sep 17 00:00:00 2001
From: Filip Macak <filip.macak1999@gmail.com>
Date: Mon, 18 Nov 2024 15:51:15 +0100
Subject: [PATCH] removed comment

---
 paynt/verification/property.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/paynt/verification/property.py b/paynt/verification/property.py
index 1524b51a..02952eac 100644
--- a/paynt/verification/property.py
+++ b/paynt/verification/property.py
@@ -11,8 +11,6 @@ def construct_property(prop, relative_error):
     rf = prop.raw_formula
     player_index = None
     if not (rf.is_reward_operator or rf.is_probability_operator) and rf.is_game_formula:
-        # import paynt.quotient.posmg
-        # paynt.quotient.posmg.PosmgQuotient.optimizing_player = extract_player_index(rf)
         player_index = extract_player_index(rf)
         game_rf = rf
         rf = rf.subformula