diff --git a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/ast.mps b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/ast.mps index e4a81028..f59a2920 100644 --- a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/ast.mps +++ b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/ast.mps @@ -1188,8 +1188,13 @@ - - + + + + + + + diff --git a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps index 69135e6c..9aa8e3da 100644 --- a/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps +++ b/solutions/jetbrains.mps.unification.tree/models/jetbrains/mps/unification/tree.mps @@ -113,11 +113,11 @@ - + - + @@ -265,21 +265,11 @@ - - - - - - - - - - - - - - - + + + + + @@ -571,27 +561,22 @@ - + - + - - - - - - - + + + + + + - - - - - - + + @@ -1259,27 +1244,22 @@ - + - + - - - - - - - + + + + + + - - - - - - + + @@ -2088,20 +2068,15 @@ - - - - - - - + + + + + + - - - - - - + +