1 files changed, 4 insertions, 1 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2 b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2
index 903ac83b..2fe82482 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/GenerateVampireLanguage.mwe2
@@ -6,7 +6,7 @@ import org.eclipse.xtext.xtext.generator.model.project.*
 var rootPath = ".."

 

 Workflow {

-        

+        //TODO

         component = XtextGenerator {

                 configuration = {

                         project = StandardProjectConfig {

@@ -39,6 +39,9 @@ Workflow {
                         validator = {

                                 // composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"

                         }

+                        formatter={

+                                generateStub=true

+                        }

                 }

         }

 }