]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Removed a workaround converting universal variables to existential 73/1173/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 1 Nov 2017 07:35:57 +0000 (09:35 +0200)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 1 Nov 2017 07:35:57 +0000 (09:35 +0200)
refs #7575

Change-Id: Ia43fb4d69ddd3798685557916c3d3bb907a6be18


No differences found