Colin THOMAS / pyits_model_checker

Go to a project
Toggle navigation Toggle navigation pinning
Colin THOMAS
0e69c0ba 1 parent 879eb8b3

Update __init__.py

Inline Side-by-side
Showing 1 changed file with 1 additions and 1 deletions
......@@ -158,7 +158,7 @@ class ARCTL_model_checker(CTL_model_checker):
self.tau_label = tau_label
else:
self.tau_label = None
CTL_model_checker.__init__(self, universe, reduce(shom.__or__, [action for (action, labels) in self.actions]))
CTL_model_checker.__init__(self, universe, reduce(shom.__or__, [action for (action, labels) in self.actions.items()]))
self.logic = "ARCTL"
def alpha_parse(self, alpha, labels):
......