diff --git a/Transition.py b/Transition.py index 269b53d334de668c8f8b25796691812b1f7995f2..582a425f6f3999b9c74f650c42bb53a7e7a0ccb6 100644 --- a/Transition.py +++ b/Transition.py @@ -18,8 +18,6 @@ class Transition : def apply(self, config, strategy) : data = None - - config.historyHistory.add(str([t[0].name for t in config.historyPop])) if self.name == "RIGHT" : applyRight(config) @@ -32,6 +30,7 @@ class Transition : elif self.name == "EOS" : applyEOS(config) elif "BACK" in self.name : + config.historyHistory.add(str([t[0].name for t in config.historyPop])) size = int(self.name.split()[-1]) applyBack(config, strategy, size) else :