1 files changed, 7 insertions, 1 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
index e9a91938..62faa875 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 grammar InternalApplicationConfiguration;

 

@@ -2373,6 +2373,12 @@ rule__Solver__Alternatives
                 ('ViatraSolver')

                 { after(grammarAccess.getSolverAccess().getViatraSolverEnumLiteralDeclaration_2()); }

         )

+        |

+        (

+                { before(grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3()); }

+                ('TPTPSolver')

+                { after(grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3()); }

+        )

 ;

 finally {

         restoreStackSize(stackSize);