From 47631963b988e81735cd987860684199302f9437 Mon Sep 17 00:00:00 2001
From: Michael Gronover <mgronover@itemis.com>
Date: Thu, 7 Mar 2024 09:28:34 +0100
Subject: [PATCH] Explicit reentered inference rule for DotExpression #754

---
 .../models/typesystem.mps                      | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps
index cb37f17943..c276258585 100644
--- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps
+++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.base/models/typesystem.mps
@@ -1643,22 +1643,22 @@
     <property role="TrG5h" value="typeof_DotExpression" />
     <property role="3GE5qa" value="unary.p3000" />
     <node concept="3clFbS" id="7NJy08a3OfB" role="18ibNy">
-      <node concept="1Z5TYs" id="4h2JN3_u7Vp" role="3cqZAp">
-        <node concept="mw_s8" id="4h2JN3_u8af" role="1ZfhKB">
-          <node concept="1Z2H0r" id="4h2JN3_u8ab" role="mwGJk">
-            <node concept="2OqwBi" id="4h2JN3_u8p1" role="1Z2MuG">
-              <node concept="1YBJjd" id="4h2JN3_u8aw" role="2Oq$k0">
+      <node concept="1Z5TYs" id="33HuFxyjqC4" role="3cqZAp">
+        <node concept="mw_s8" id="33HuFxyjqEq" role="1ZfhKB">
+          <node concept="1Z2H0r" id="33HuFxyjqEm" role="mwGJk">
+            <node concept="2OqwBi" id="33HuFxyjqUG" role="1Z2MuG">
+              <node concept="1YBJjd" id="33HuFxyjqGj" role="2Oq$k0">
                 <ref role="1YBMHb" node="7NJy08a3OfD" resolve="de" />
               </node>
-              <node concept="3TrEf2" id="4h2JN3_u9aI" role="2OqNvi">
+              <node concept="3TrEf2" id="33HuFxyjrok" role="2OqNvi">
                 <ref role="3Tt5mk" to="hm2y:7NJy08a3O9b" resolve="target" />
               </node>
             </node>
           </node>
         </node>
-        <node concept="mw_s8" id="4h2JN3_u7Vs" role="1ZfhK$">
-          <node concept="1Z2H0r" id="4h2JN3_u7zz" role="mwGJk">
-            <node concept="1YBJjd" id="4h2JN3_u7O1" role="1Z2MuG">
+        <node concept="mw_s8" id="33HuFxyjqC7" role="1ZfhK$">
+          <node concept="1Z2H0r" id="33HuFxyjpOd" role="mwGJk">
+            <node concept="1YBJjd" id="33HuFxyjqgx" role="1Z2MuG">
               <ref role="1YBMHb" node="7NJy08a3OfD" resolve="de" />
             </node>
           </node>