From 3016ffd904e77fd9f7c0bf3de97443b39e82f9d4 Mon Sep 17 00:00:00 2001 From: Grigorii Kirgizov Date: Mon, 28 Oct 2019 18:33:00 +0300 Subject: [PATCH] Remove dependency on lang.text to enable experimental typechecker for Samples:bounds.bad --- .../models/typechecking.samples.baseLanguage.bounds.bad.mps | 1 - 1 file changed, 1 deletion(-) diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps index 6bd2f804..152b0a1b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps @@ -5,7 +5,6 @@ -