From 73f86ba62699fc2cc5285be0c858dfd628759180 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 17 Feb 2022 17:08:31 +0100 Subject: [PATCH] Disable obsolete warning --- ...ins.mps.coderules.typechecking.service.mps | 40 ++++++++++--------- 1 file changed, 22 insertions(+), 18 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index c63b0959..f8476cbd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -15701,30 +15701,34 @@ - - - - - - - + + + + + + + + + + + - - - - - - + + + + + + + + + - - + + - - -