diff --git a/build.xml b/build.xml index a54b85b4..06b07274 100644 --- a/build.xml +++ b/build.xml @@ -923,11 +923,11 @@ - - - - - + + + + + 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 4a3f8cbe..8641dabd 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 @@ -100,6 +100,8 @@ + + @@ -111,6 +113,10 @@ + + + + @@ -132,6 +138,7 @@ + @@ -1531,6 +1538,112 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +