From 74a5d9d44155cbede6179c840d3f4331faaca7fb Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 16 Jun 2018 12:53:46 +0200 Subject: [PATCH] Auto-updated descriptors. --- .../jetbrains.mps.typechecking.testlang.mpl | 2 ++ .../jetbrains.mps.typechecking.sample.test.msd | 1 + 2 files changed, 3 insertions(+) diff --git a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl index 4b552923..d01d537c 100644 --- a/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl +++ b/typechecking/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl @@ -86,6 +86,7 @@ + @@ -94,6 +95,7 @@ + diff --git a/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd b/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd index a1c78c7f..1628ebbf 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.sample.test/jetbrains.mps.typechecking.sample.test.msd @@ -35,6 +35,7 @@ +