From 947f9523bdbdb8039298296885d1e2a35f9afbed Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 31 May 2019 10:44:57 +0200 Subject: [PATCH] Fix language imports. --- .../models/samples.lambdacalc.demo@tests.mps | 1 + .../samples.lambdacalc.demo/samples.lambdacalc.demo.msd | 1 + .../typechecking.samples.baseLanguage/models/features@tests.mps | 1 + .../typechecking.samples.baseLanguage.msd | 1 + 4 files changed, 4 insertions(+) diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps index 2bd6dbb3..cc1d50b9 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps @@ -6,6 +6,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 7f7a3917..807faea1 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd @@ -21,6 +21,7 @@ + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps index b8e5bbec..4b9154d8 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features@tests.mps @@ -6,6 +6,7 @@ + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd index 649363f5..ad39c299 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd @@ -28,6 +28,7 @@ +