Changes between Initial Version and Version 1 of Ticket #3503, comment 18
- Timestamp:
- 2015-10-13T14:58:33Z (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #3503, comment 18
initial v1 16 16 > What do you think? 17 17 18 This is correct behaviour because all non-trivial arguments of clocked operators areshould be substituted before in function ''substituteParitionOpExps''.18 This is correct behaviour because all non-trivial arguments of clocked operators should be substituted before in function ''substituteParitionOpExps''. 19 19 So it is function ''substituteParitionOpExps'' that should be fixed.