1 files changed, 10 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/plugin.xml b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/plugin.xml
new file mode 100644
index 00000000..52f3c0a5
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/plugin.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<?eclipse version="3.0"?>

+<plugin>

+        <extension point="org.eclipse.emf.ecore.generated_package">

+                <package 

+                        uri = "http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage"

+                        class = "ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage"

+                        genModel = "model/generated/VampireLanguage.genmodel" />

+        </extension>

+</plugin>