removed comment

randriu · Nov 18, 2024 · 3beadd3 · 3beadd3
1 parent 4028535
commit 3beadd3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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