From 8017a973276d5bbc901f1de34d9d8269debfbb23 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 14 Aug 2019 13:29:12 +0200 Subject: [PATCH] Adapt to changes in typechecking facade. --- ...ains.mps.coderules.typechecking.plugin.mps | 25 +++++++++++++++++-- 1 file changed, 23 insertions(+), 2 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 502b8b41..8cbc6ffc 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -1071,8 +1071,8 @@ - - + + @@ -1091,6 +1091,27 @@ + + + + + + + + + + + + + + + + + + + + +