From 3791a3b21646e4981a8bf859643cefdf45cb5540 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 20 Jul 2018 10:51:53 +0200 Subject: [PATCH] Auto-updated descriptors. --- .../jetbrains.mps.typechecking.test.msd | 1 - .../fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/coderules/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd b/coderules/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd index 2723b293..c3e6ebcc 100644 --- a/coderules/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd +++ b/coderules/solutions/jetbrains.mps.typechecking.test/jetbrains.mps.typechecking.test.msd @@ -25,7 +25,6 @@ - diff --git a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl index 49daca81..1bb93610 100644 --- a/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl +++ b/samples/fitch/languages/jetbrains.mps.fitch/jetbrains.mps.fitch.mpl @@ -100,9 +100,11 @@ + +