Committed by
GitHub
Merge pull request #14 from lesire/master
[modules] fix error when merging places
Showing
1 changed file
with
1 additions
and
1 deletions
... | @@ -94,7 +94,7 @@ def extend (module) : | ... | @@ -94,7 +94,7 @@ def extend (module) : |
94 | module.PetriNet.merge_places(self, target, sources, **options) | 94 | module.PetriNet.merge_places(self, target, sources, **options) |
95 | new = self.place(target) | 95 | new = self.place(target) |
96 | new.modules(reduce(set.__or__, | 96 | new.modules(reduce(set.__or__, |
97 | - (self.place(p).lmodules() | 97 | + (self.place(p).modules() |
98 | for p in sources), | 98 | for p in sources), |
99 | mod)) | 99 | mod)) |
100 | def merge_transitions (self, target, sources, **options) : | 100 | def merge_transitions (self, target, sources, **options) : | ... | ... |
-
Please register or login to post a comment