Closed lausdahl closed 10 years ago
When a model contains a AIdentifierVarsetExpression that doesnt exist then the type checker reports an internal error null:
AIdentifierVarsetExpression
null
process P= (trans_ [chanset_||chanset_ ] -- define_alphabetised_parallel started A)
When a model contains a
AIdentifierVarsetExpression
that doesnt exist then the type checker reports an internal errornull
: