]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
(refs #7250) Error messages for undefined existentials 92/592/2
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 2 Jun 2017 17:06:29 +0000 (20:06 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Fri, 2 Jun 2017 18:09:38 +0000 (21:09 +0300)
Change-Id: Iaddc3d0536350eef85086b0a73a5c1b08055398c


No differences found