From 163f434bf5a2ea147896eacd10dfbb2cf6258d89 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 10 Nov 2015 10:55:14 +0100
Subject: [PATCH] Unique variable names and type bounds

---
 .../typesystem2/samplechecker/template.mps    | 42 -------------------
 1 file changed, 42 deletions(-)

diff --git a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
index 155643c5..8442148d 100644
--- a/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
+++ b/languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
@@ -9855,20 +9855,6 @@
           </node>
         </node>
       </node>
-      <node concept="cBwPQ" id="5_6ImQYpn0l" role="30RCb4">
-        <node concept="3clFbS" id="5_6ImQYpn0m" role="16YjZG">
-          <node concept="3SKdUt" id="5_6ImQYpn0n" role="3cqZAp">
-            <node concept="3SKdUq" id="5_6ImQYpn0o" role="3SKWNk">
-              <property role="3SKdUp" value="FIXME: investigate the behaviour of JCHR " />
-            </node>
-          </node>
-          <node concept="3clFbF" id="5_6ImQYpn0p" role="3cqZAp">
-            <node concept="3clFbT" id="5_6ImQYpn0q" role="3clFbG">
-              <property role="3clFbU" value="false" />
-            </node>
-          </node>
-        </node>
-      </node>
     </node>
     <node concept="AVZhu" id="3K_0akSsuv8" role="3ArX_J">
       <property role="TrG5h" value="ubound_excess" />
@@ -10019,20 +10005,6 @@
           </node>
         </node>
       </node>
-      <node concept="cBwPQ" id="5_6ImQYpmZx" role="30RCb4">
-        <node concept="3clFbS" id="5_6ImQYpmZy" role="16YjZG">
-          <node concept="3SKdUt" id="5_6ImQYpn0d" role="3cqZAp">
-            <node concept="3SKdUq" id="5_6ImQYpn0j" role="3SKWNk">
-              <property role="3SKdUp" value="FIXME: investigate the behaviour of JCHR " />
-            </node>
-          </node>
-          <node concept="3clFbF" id="5_6ImQYpmZA" role="3cqZAp">
-            <node concept="3clFbT" id="5_6ImQYpmZ_" role="3clFbG">
-              <property role="3clFbU" value="false" />
-            </node>
-          </node>
-        </node>
-      </node>
     </node>
   </node>
   <node concept="AVZre" id="24Vro6cM_J$">
@@ -13211,20 +13183,6 @@
           </node>
         </node>
       </node>
-      <node concept="cBwPQ" id="5_6ImQYpn0A" role="30RCb4">
-        <node concept="3clFbS" id="5_6ImQYpn0B" role="16YjZG">
-          <node concept="3SKdUt" id="5_6ImQYpn0C" role="3cqZAp">
-            <node concept="3SKdUq" id="5_6ImQYpn0D" role="3SKWNk">
-              <property role="3SKdUp" value="FIXME: investigate the behaviour of JCHR " />
-            </node>
-          </node>
-          <node concept="3clFbF" id="5_6ImQYpn0E" role="3cqZAp">
-            <node concept="3clFbT" id="5_6ImQYpn0F" role="3clFbG">
-              <property role="3clFbU" value="false" />
-            </node>
-          </node>
-        </node>
-      </node>
     </node>
   </node>
   <node concept="AVZre" id="7nkyKX6XTqJ">