From 9f8e3db92095b14f8002efddf2b28250ff6ab376 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Thu, 13 Aug 2015 11:12:14 +0200
Subject: [PATCH] Fixed a couple of typos

---
 .../models/jetbrains/mps/logic/builtin/unification.mps        | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
index 8f2a24ae..8ecb826f 100644
--- a/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
+++ b/languages/jetbrains.mps.logic/runtime/models/jetbrains/mps/logic/builtin/unification.mps
@@ -2844,8 +2844,8 @@
             <node concept="1rXfSq" id="6SkxsMzGc5y" role="33vP2m">
               <ref role="37wK5l" node="4U_yxogCRUf" resolve="unify" />
               <node concept="2OqwBi" id="6SkxsMzGc5z" role="37wK5m">
-                <node concept="37vLTw" id="6SkxsMzGc5$" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4U_yxogC1Ek" resolve="left" />
+                <node concept="37vLTw" id="3K_0akStpXO" role="2Oq$k0">
+                  <ref role="3cqZAo" node="4U_yxogDnOj" resolve="leftRepr" />
                 </node>
                 <node concept="liA8E" id="6SkxsMzGc5_" role="2OqNvi">
                   <ref role="37wK5l" node="3HJTsBmBZ0h" resolve="value" />