Changes between Initial Version and Version 1 of Ticket #3503, comment 18


Ignore:
Timestamp:
2015-10-13T14:58:33Z (9 years ago)
Author:
Maksimov Doe

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #3503, comment 18

    initial v1  
    1616> What do you think?
    1717
    18 This is correct behaviour because all non-trivial arguments of clocked operators are should be substituted before in function ''substituteParitionOpExps''.
     18This is correct behaviour because all non-trivial arguments of clocked operators should be substituted before in function ''substituteParitionOpExps''.
    1919So it is function ''substituteParitionOpExps'' that should be fixed.