From c337fe003901ada477d68690270457fe3ef56be5 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 18 Mar 2015 11:40:24 +0100
Subject: [PATCH] Updated the unification lib

---
 .../jetbrains.mps.unification.tree/imports/mps-unification      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/solutions/jetbrains.mps.unification.tree/imports/mps-unification b/solutions/jetbrains.mps.unification.tree/imports/mps-unification
index bc3f2a77..77a6b805 160000
--- a/solutions/jetbrains.mps.unification.tree/imports/mps-unification
+++ b/solutions/jetbrains.mps.unification.tree/imports/mps-unification
@@ -1 +1 @@
-Subproject commit bc3f2a77242575e85e4c3ca036d77c1bb3742603
+Subproject commit 77a6b805bf4577a437627ad3164ce15c96279fee