1 files changed, 1 insertions, 13 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
index 9bd03568..b61e6832 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/Solver.java
@@ -1,5 +1,5 @@
 /**
- * generated by Xtext 2.16.0
+ * generated by Xtext 2.17.0
  */
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
 
@@ -53,10 +53,6 @@ public enum Solver implements Enumerator
   /**
    * The '<em><b>SMT Solver</b></em>' literal value.
    * <!-- begin-user-doc -->
-   * <p>
-   * If the meaning of '<em><b>SMT Solver</b></em>' literal object isn't clear,
-   * there really should be more of a description here...
-   * </p>
    * <!-- end-user-doc -->
    * @see #SMT_SOLVER
    * @model name="SMTSolver"
@@ -68,10 +64,6 @@ public enum Solver implements Enumerator
   /**
    * The '<em><b>Alloy Solver</b></em>' literal value.
    * <!-- begin-user-doc -->
-   * <p>
-   * If the meaning of '<em><b>Alloy Solver</b></em>' literal object isn't clear,
-   * there really should be more of a description here...
-   * </p>
    * <!-- end-user-doc -->
    * @see #ALLOY_SOLVER
    * @model name="AlloySolver"
@@ -83,10 +75,6 @@ public enum Solver implements Enumerator
   /**
    * The '<em><b>Viatra Solver</b></em>' literal value.
    * <!-- begin-user-doc -->
-   * <p>
-   * If the meaning of '<em><b>Viatra Solver</b></em>' literal object isn't clear,
-   * there really should be more of a description here...
-   * </p>
    * <!-- end-user-doc -->
    * @see #VIATRA_SOLVER
    * @model name="ViatraSolver"