From 87a843088c489dfb74b35ac610a76392e8d4a0bb Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 11 Apr 2021 10:55:29 +0200 Subject: [PATCH] Cosmetics: report ERR on a query finished with !success status --- .../jetbrains.mps.coderules.typechecking.service.mps | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 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 7b3a3121..7d58388a 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 @@ -20369,8 +20369,16 @@ - - + + + + + + + + + +