From 67b9e5a372cafca55a41cd554d671ca11e53dd81 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 16 Jun 2018 12:45:54 +0200 Subject: [PATCH] Fix build broken after moving baselanguageExt. --- build.xml | 251 ++++++++------- .../jetbrains.mps.typechecking.build.mps | 289 +++++++++--------- 2 files changed, 271 insertions(+), 269 deletions(-) diff --git a/build.xml b/build.xml index b8a520ef..e84e68c3 100644 --- a/build.xml +++ b/build.xml @@ -1121,7 +1121,7 @@ - + @@ -1164,7 +1164,7 @@ - + @@ -2438,7 +2438,7 @@ - + @@ -3592,67 +3592,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4000,67 +3939,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -4128,6 +4006,128 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -4227,7 +4227,6 @@ - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps index 1fd61de7..9bbc8571 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.build/models/jetbrains.mps.typechecking.build.mps @@ -1777,91 +1777,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -2248,6 +2163,151 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2317,7 +2377,7 @@ - + @@ -2329,63 +2389,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -