From afaaa77de8a562ac321fd9560740c362c0f650b7 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 17 Jun 2015 16:52:53 +0200 Subject: [PATCH] Fixed the tests --- .../test/models/jetbrains/mps/logic/test/unification.mps | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps index edc908ed..3d159dc4 100644 --- a/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps +++ b/languages/jetbrains.mps.logic/test/models/jetbrains/mps/logic/test/unification.mps @@ -3,7 +3,7 @@ - + @@ -244,7 +244,7 @@ - + @@ -1174,7 +1174,7 @@ - +