From ef93acd34aa3e639ce11b8cd9d72af68fb3c6fa5 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Thu, 17 Oct 2019 12:58:37 +0300 Subject: [PATCH] Revert "Temporarily silence the last failing BL incrementality test" This reverts commit 5aa7585b --- ...mples.baseLanguage.incrementalBL@tests.mps | 124 +++++++++--------- 1 file changed, 60 insertions(+), 64 deletions(-) diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps index 8fefdaca..6e57c46a 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.incrementalBL@tests.mps @@ -2385,80 +2385,76 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + - - - - - + + - + + + + + + + - - - - - - - - - - + + + + + + + + + + + + + + + + + + - - - - - - + + + + + + + + - - - - - - - - - - - - - - - - + + + + + +