From 210f30be1b39e4b2c462ab3d72f6cbcb0602da3d Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 24 Aug 2021 18:55:02 +0200 Subject: [PATCH] Prefer node builder to quotation --- .../models/jetbrains.mps.logicExt.types.mps | 36 +++++++++++-------- 1 file changed, 22 insertions(+), 14 deletions(-) diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index e9454b97..aa37b62c 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -36,7 +36,6 @@ - @@ -75,21 +74,28 @@ - - - - + + + + + + + + + + + + + + - - - @@ -2512,12 +2518,14 @@ - - - - - - + + + + + + + +