From 365883a099da04f09939fa1d377a64c57ed9be42 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 27 Oct 2021 12:03:24 +0200 Subject: [PATCH] Fix broken representation of terms with specification --- .../models/jetbrains.mps.logic.dataform.mps | 119 +++++++++++++----- 1 file changed, 90 insertions(+), 29 deletions(-) diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps index 99c337c8..3273030b 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps @@ -10395,6 +10395,26 @@ + + + + + + + + + + + + + + + + + + + + @@ -12654,6 +12674,20 @@ + + + + + + + + + + + + + + @@ -12667,44 +12701,71 @@ - - - - - + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + - - - - + + + + + + + + + - - - - - + + + + + + + + + - - - - - - - - - - - - + + + + + + + +