From d64325d3fa4df17e565127bb9d484a0ba783e523 Mon Sep 17 00:00:00 2001
From: Mihail Buryakov <Mihail.Buryakov@jetbrains.com>
Date: Tue, 8 Dec 2015 19:23:41 +0300
Subject: [PATCH] lightweight solver: fix small bug

---
 .../jetbrains/mps/typechecking/solving/solver.mps    | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/solving/solver.mps b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/solving/solver.mps
index fdb2a9b8..e13e513c 100644
--- a/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/solving/solver.mps
+++ b/solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/solving/solver.mps
@@ -1074,9 +1074,15 @@
                     <node concept="3$u5V9" id="6ps95k_QSF1" role="2OqNvi">
                       <node concept="1bVj0M" id="6ps95k_QSF4" role="23t8la">
                         <node concept="3clFbS" id="6ps95k_QSF5" role="1bW5cS">
-                          <node concept="3clFbF" id="6ps95k_QTdA" role="3cqZAp">
-                            <node concept="37vLTw" id="6ps95k_QTd_" role="3clFbG">
-                              <ref role="3cqZAo" node="6ps95k_QSF6" resolve="it" />
+                          <node concept="3clFbF" id="1XX620LjkZa" role="3cqZAp">
+                            <node concept="1rXfSq" id="1XX620LjkZ9" role="3clFbG">
+                              <ref role="37wK5l" node="6ps95k_LT5a" resolve="copyAtom" />
+                              <node concept="37vLTw" id="1XX620Ljmof" role="37wK5m">
+                                <ref role="3cqZAo" node="6ps95k_QSF6" resolve="it" />
+                              </node>
+                              <node concept="37vLTw" id="1XX620LjpbW" role="37wK5m">
+                                <ref role="3cqZAo" node="6ps95k_Tp1X" resolve="copyMap" />
+                              </node>
                             </node>
                           </node>
                         </node>