From 4b2f5bf81b3599e08f485887fb191e85c8666c88 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 30 Nov 2015 11:50:24 +0100
Subject: [PATCH] Fix Tuple5 (WtF?)

---
 .../runtime/models/runtime/history.mps             | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
index 98f7d646..93bd02e4 100644
--- a/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
+++ b/languages/jetbrains.mps.jchr/runtime/models/runtime/history.mps
@@ -790,7 +790,7 @@
     </node>
   </node>
   <node concept="312cEu" id="6BpNyAB2kqw">
-    <property role="TrG5h" value="Tuple" />
+    <property role="TrG5h" value="Tuple5" />
     <property role="2bfB8j" value="true" />
     <property role="1sVAO0" value="false" />
     <property role="1EXbeo" value="true" />
@@ -1107,7 +1107,7 @@
                               <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                             </node>
                             <node concept="3uibUv" id="6BpNyAB2ksp" role="10QFUM">
-                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                             </node>
                           </node>
                         </node>
@@ -1132,7 +1132,7 @@
                               <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                             </node>
                             <node concept="3uibUv" id="6BpNyAB2ks$" role="10QFUM">
-                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                              <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                             </node>
                           </node>
                         </node>
@@ -1158,7 +1158,7 @@
                             <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                           </node>
                           <node concept="3uibUv" id="6BpNyAB2ksJ" role="10QFUM">
-                            <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                            <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                           </node>
                         </node>
                       </node>
@@ -1184,7 +1184,7 @@
                           <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                         </node>
                         <node concept="3uibUv" id="6BpNyAB2ksU" role="10QFUM">
-                          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                         </node>
                       </node>
                     </node>
@@ -1210,7 +1210,7 @@
                         <ref role="3cqZAo" node="6BpNyAB2ks9" resolve="other" />
                       </node>
                       <node concept="3uibUv" id="6BpNyAB2n1n" role="10QFUM">
-                        <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+                        <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
                       </node>
                     </node>
                   </node>
@@ -1251,7 +1251,7 @@
         <property role="TrG5h" value="other" />
         <property role="3TUv4t" value="false" />
         <node concept="3uibUv" id="6BpNyAB2kt7" role="1tU5fm">
-          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple" />
+          <ref role="3uigEE" node="6BpNyAB2kqw" resolve="Tuple5" />
         </node>
       </node>
       <node concept="3clFbS" id="6BpNyAB2kt8" role="3clF47">