From c384785b12773b85c0eefb812777f87e4cefb7e0 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 20 Jan 2020 16:54:38 +0100 Subject: [PATCH] Apply automatic migration. --- .../fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd | 2 +- .../samples.lambdacalc.demo/samples.lambdacalc.demo.msd | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd index 9fdb6e22..d561d58b 100644 --- a/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd +++ b/samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd @@ -4,7 +4,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd index 354786ee..167da163 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -18,7 +18,6 @@ -