From ef5959dcdc78fe6ef51f19814bbc9cc6b8e3b7e4 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 19 Dec 2019 02:42:04 +0300 Subject: [PATCH] Fix failing checkModels test because of var out of scope --- ...ecking.samples.baseLanguage.bounds.bad.mps | 42 ++++++++++++------- 1 file changed, 28 insertions(+), 14 deletions(-) diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps index 2a48d570..5d017a12 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps @@ -86,9 +86,19 @@ + + + + + + + + + + @@ -264,22 +274,26 @@ - - - - - - - - - + + + + + + + + - - - + + + - - + + + + + + +