From ffe6c038dc3952f6ab6b29b69bbce723453eeaba Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 2 Sep 2024 13:38:35 +0200 Subject: [PATCH] Avoid duplicate reporting of trace events --- ...ins.mps.coderules.typechecking.service.mps | 164 +++++++++--------- 1 file changed, 82 insertions(+), 82 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 85cef2c4..3d8d7ab0 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 @@ -3387,6 +3387,88 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -3395,88 +3477,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -