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