From 83a5b1f7ff82cef9ff3045bd2035ed78e8aa3da2 Mon Sep 17 00:00:00 2001 From: Alexander Pann Date: Wed, 29 Jun 2022 13:44:49 +0200 Subject: [PATCH] Don't throw warning in NumberPrecSpec.setPrecision The precision is -1 when the node is created. Without this change an error is thrown. --- .../models/behavior.mps | 55 ++++++++++--------- 1 file changed, 29 insertions(+), 26 deletions(-) diff --git a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models/behavior.mps b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models/behavior.mps index f2bea080fc..f594b222ee 100755 --- a/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models/behavior.mps +++ b/code/languages/org.iets3.opensource/languages/org.iets3.core.expr.simpleTypes/models/behavior.mps @@ -99,9 +99,6 @@ - - - @@ -241,6 +238,12 @@ + + + + + + @@ -5266,14 +5269,10 @@ - - - - - - - - + + + + @@ -5285,21 +5284,25 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + +