From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Fri, 2 Jun 2017 17:06:29 +0000 (+0300)
Subject: (refs #7250) Error messages for undefined existentials
X-Git-Tag: v1.31.0~339^2~1
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=9a17c7c202c7104631fa5d899a4583a0cc2ad6ac;hp=9a17c7c202c7104631fa5d899a4583a0cc2ad6ac;p=simantics%2Fplatform.git

(refs #7250) Error messages for undefined existentials

Change-Id: Iaddc3d0536350eef85086b0a73a5c1b08055398c
---