From 054ecf5c25370f4da025b972b1df963d162302f8 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 18 May 2021 12:29:38 +0200 Subject: [PATCH] Adjust error annotations to reflect proper typechecking errors --- ...brains.mps.baseLanguageExt.test.code.features.mps | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps index 518c4d9c..76d33ea4 100644 --- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps +++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps @@ -12532,13 +12532,13 @@ - - - + + + @@ -12553,13 +12553,13 @@ - - - + + +