1 files changed, 6 insertions, 2 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
index dcd48fa2..bf33c471 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -94,6 +94,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getExactNumber()

   {

     return exactNumber;

@@ -104,6 +105,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setExactNumber(int newExactNumber)

   {

     int oldExactNumber = exactNumber;

@@ -117,6 +119,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isExactUnlimited()

   {

     return exactUnlimited;

@@ -127,6 +130,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setExactUnlimited(boolean newExactUnlimited)

   {

     boolean oldExactUnlimited = exactUnlimited;

@@ -221,7 +225,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (exactNumber: ");

     result.append(exactNumber);

     result.append(", exactUnlimited: ");