From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Wed, 1 Nov 2017 07:35:57 +0000 (+0200)
Subject: Removed a workaround converting universal variables to existential
X-Git-Tag: v1.31.0~71
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;ds=sidebyside;h=92e01176876c831a7abfaad8ffeaf87bd4bfd82d;hp=92e01176876c831a7abfaad8ffeaf87bd4bfd82d;p=simantics%2Fplatform.git

Removed a workaround converting universal variables to existential

refs #7575

Change-Id: Ia43fb4d69ddd3798685557916c3d3bb907a6be18
---