tree 093d365eecd472650727c92c42800b4bf27de0b9
parent fa16d198b529630b44588f3698b578939663fdd0
author khussey <khussey> 1163013108 +0000
committer khussey <khussey> 1163013108 +0000

[163329] Changing validation of state machine redefinition context to require a generalization between contexts instead of a redefinition.