diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
index 8945e366e..6e25a425d 100644
--- 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