natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

lightweight solver: fix small bug

This commit is contained in:
Mihail Buryakov 2015-12-08 19:23:41 +03:00
parent 6fcdd5370e
commit d64325d3fa
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
solutions/jetbrains.mps.typechecking.solving/models/jetbrains/mps/typechecking/solving/solver.mps
View File

@ -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>