Implement Enum handling and study hierarchy handling

1 files changed, 6 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/.project b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/.project
index 2221f39c..e73fac6d 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/.project
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/.project
@@ -6,6 +6,11 @@
         </projects>

         <buildSpec>

                 <buildCommand>

+                        <name>org.eclipse.viatra.query.tooling.ui.projectbuilder</name>

+                        <arguments>

+                        </arguments>

+                </buildCommand>

+                <buildCommand>

                         <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>

                         <arguments>

                         </arguments>

@@ -30,5 +35,6 @@
                 <nature>org.eclipse.pde.PluginNature</nature>

                 <nature>org.eclipse.jdt.core.javanature</nature>

                 <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>

+                <nature>org.eclipse.viatra.query.projectnature</nature>

         </natures>

 </projectDescription>