From b35aab4912349c705fd47ddcedec0442fb79ce86 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 1 Dec 2020 22:50:01 +0100 Subject: [PATCH] Minor types optimization: change memoizer key. --- .../models/jetbrains.mps.baseLanguageExt.types.mps | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index 863af8d3..b9eba4ec 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -1966,11 +1966,8 @@ - - - - - + +