From 5fc019caca23f46cd2ea0132942c2dc5e04fc1e2 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 24 Feb 2021 12:10:30 +0100
Subject: [PATCH] Mark an exhastive check rule as "auxiliary" to avoid
 including it as dependency.

---
 .../models/jetbrains.mps.baseLanguageExt.types.mps               | 1 +
 1 file changed, 1 insertion(+)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index f16d3edb..54a99d4b 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -7957,6 +7957,7 @@
     </node>
     <node concept="1nLNMY" id="zb1Nk7a71S" role="1nK1Vg">
       <property role="TrG5h" value="checkReturnPoints" />
+      <property role="1nmhW7" value="true" />
       <node concept="2t___k" id="zb1Nk7a71T" role="1nLNMg">
         <ref role="2t_S0q" to="tpee:fzclF7W" resolve="BaseMethodDeclaration" />
         <node concept="3A20r5" id="zb1Nk7a71U" role="2t_VXX">