diff --git a/jastadd-mquat-base/src/main/jastadd/Printing.jrag b/jastadd-mquat-base/src/main/jastadd/Printing.jrag index 4f42d58a62547c2e8865c0b764660033f1e43148..ff4a0280fd7387c61081a6c7519579ecdf8a6b38 100644 --- a/jastadd-mquat-base/src/main/jastadd/Printing.jrag +++ b/jastadd-mquat-base/src/main/jastadd/Printing.jrag @@ -335,7 +335,7 @@ aspect Printing { eq Property.print(MquatWriteSettings settings, int indentationLevel) { MquatString result = new MquatString(settings, indentationLevel); - result.append(" property ").append(getName().print(settings, indentationLevel)).append(" ["); + result.append("property ").append(getName().print(settings, indentationLevel)).append(" ["); result.append(getUnit()).append("]").lb(); return result; diff --git a/jastadd-mquat-base/src/main/java/de/tudresden/inf/st/mquat/Main.java b/jastadd-mquat-base/src/main/java/de/tudresden/inf/st/mquat/Main.java index 82b6ee51045ce82dd00d4f2cdcb7bf856db49b8b..5014414264594f46b126ffca13d07384aac9ffa7 100644 --- a/jastadd-mquat-base/src/main/java/de/tudresden/inf/st/mquat/Main.java +++ b/jastadd-mquat-base/src/main/java/de/tudresden/inf/st/mquat/Main.java @@ -26,7 +26,7 @@ import java.util.Scanner; @SuppressWarnings("unused") public class Main { - public static final ScenarioDescription SCENARIO_DESCRIPTION = new ScenarioDescription(2, 2, 0, 0, 0, 3, 2, 16, 2, 2, 0); + public static final ScenarioDescription SCENARIO_DESCRIPTION = new ScenarioDescription(2, 2, 0, 0, 0, 2, 2, 1.5, 2, 2, 0); private static File getAbsoluteFileForLoading(String fileName) throws FileNotFoundException { URL expUrl = Main.class.getClassLoader().getResource(fileName);