From 2d9861e8a216796796398d56103cd886c93a6512 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 7 Sep 2020 08:11:54 +0200 Subject: [PATCH] Avoid triggering NPE on calling ProviderInitToken.deactivate. --- ...ains.mps.coderules.typechecking.plugin.mps | 96 +++++++++++-------- 1 file changed, 58 insertions(+), 38 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 d6ccd42a..bcfd99dc 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 @@ -6444,51 +6444,71 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +