diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/plugin.xml')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/plugin.xml | 10 |
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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <?eclipse version="3.0"?> | ||
3 | <plugin> | ||
4 | <extension point="org.eclipse.emf.ecore.generated_package"> | ||
5 | <package | ||
6 | uri = "http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage" | ||
7 | class = "ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage" | ||
8 | genModel = "model/generated/VampireLanguage.genmodel" /> | ||
9 | </extension> | ||
10 | </plugin> | ||