From 4dd344e533e2bcd03c6caebfe23372f4bfd31a08 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 31 Jul 2017 20:09:22 +0200
Subject: [PATCH] Fix mark types with trace.

---
 .../models/ui.plugin.mps                            | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
index 237c33dd..a51917fc 100644
--- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
+++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps
@@ -27417,6 +27417,19 @@
             </node>
           </node>
         </node>
+        <node concept="3clFbF" id="7Mte5SKkuX2" role="3cqZAp">
+          <node concept="37vLTI" id="7Mte5SKkwQa" role="3clFbG">
+            <node concept="37vLTw" id="7Mte5SKkxsg" role="37vLTx">
+              <ref role="3cqZAo" node="55Q$YFtIX9v" resolve="mpsProject" />
+            </node>
+            <node concept="2OqwBi" id="7Mte5SKkvl0" role="37vLTJ">
+              <node concept="Xjq3P" id="7Mte5SKkuX0" role="2Oq$k0" />
+              <node concept="2OwXpG" id="7Mte5SKkvWJ" role="2OqNvi">
+                <ref role="2Oxat5" node="443LGHBSGGx" resolve="mpsProject" />
+              </node>
+            </node>
+          </node>
+        </node>
         <node concept="3clFbF" id="6kREIVkOM43" role="3cqZAp">
           <node concept="37vLTI" id="6kREIVkONs4" role="3clFbG">
             <node concept="2OqwBi" id="6kREIVkOMjI" role="37vLTJ">