From 39b4ea299152166f0271251bc73c7987f8db20f2 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Thu, 12 Apr 2018 14:36:01 +0200
Subject: [PATCH] Fixed small printing error.

---
 jastadd-mquat-base/src/main/jastadd/Printing.jrag               | 2 +-
 .../src/main/java/de/tudresden/inf/st/mquat/Main.java           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/jastadd-mquat-base/src/main/jastadd/Printing.jrag b/jastadd-mquat-base/src/main/jastadd/Printing.jrag
index 4f42d58..ff4a028 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 82b6ee5..5014414 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);
-- 
GitLab