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 @@ + +