1 files changed, 9 insertions, 1 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
index 455e7054..a532dabf 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 grammar InternalApplicationConfiguration;

 

@@ -4285,6 +4285,14 @@ ruleSolver returns [Enumerator current=null]
                                 newLeafNode(enumLiteral_2, grammarAccess.getSolverAccess().getViatraSolverEnumLiteralDeclaration_2());

                         }

                 )

+                    |

+                (

+                        enumLiteral_3='TPTPSolver'

+                        {

+                                $current = grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3().getEnumLiteral().getInstance();

+                                newLeafNode(enumLiteral_3, grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3());

+                        }

+                )

         )

 ;