whatever

randriu · Dec 8, 2023 · c301db9 · c301db9
1 parent 1021d24
commit c301db9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
@@ -493,7 +493,7 @@ def verify_family(self, family, game_solver, prop, reference_policy=None):
 
         # map reachable scheduler choices to hole options
         scheduler_choices = self.quotient.state_to_choice_to_choices(state_to_choice)
-        hole_selection = self.quotient.choices_to_hole_selection(scheduler_choices)
+        hole_selection = self.quotient.coloring.choices_to_hole_selection(scheduler_choices)
 
         if False:
             # sanity check