1 files changed, 4 insertions, 4 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
index 6af31723..95dfe5a1 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext
@@ -26,7 +26,7 @@ Import: EPackageImport | ViatraImport;
 

 EPackageImport: "import" "epackage" importedPackage=[ecore::EPackage|STRING];

 ViatraImport: "import" "viatra" importedViatra=[viatra::PatternModel|STRING];

-
+

 ///////////////////////////////////////////////////

 // Declaration

 ///////////////////////////////////////////////////

@@ -95,8 +95,8 @@ GraphPattern: GraphPatternReference|PatternSpecification;
 ConfigSpecification: {ConfigSpecification}'{'

                 (entries += ConfigEntry ("," entries += ConfigEntry)*)?

         '}';

-ConfigDeclaration :
-        'config' name = ID specification = ConfigSpecification
+ConfigDeclaration :

+        'config' name = ID specification = ConfigSpecification

 ;

 ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry;

 DocumentationEntry: "log-level" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full;

@@ -107,7 +107,7 @@ CustomEntry: key = STRING "=" value = STRING;
 ConfigReference: config = [ConfigDeclaration];

 Config: ConfigSpecification | ConfigReference;

 

-enum Solver: SMTSolver | AlloySolver | ViatraSolver;

+enum Solver: SMTSolver | AlloySolver | ViatraSolver | TPTPSolver;

 

 ScopeSpecification: {ScopeSpecification} '{' 

                 (scopes += TypeScope (',' scopes += TypeScope)*)?