From 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 25 Oct 2019 04:15:39 -0400
Subject: VAMPIRE: post-submission push

---
 .../hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml

(limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml')

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml
new file mode 100644
index 00000000..6ac9fdab
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/plugin.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.0"?>
+
+<plugin>
+
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <package 
+       uri = "http://www.bme.hu/mit/inf/dslreasoner/AlloyLanguage" 
+       class = "hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage"
+       genModel = "model/generated/AlloyLanguage.genmodel" /> 
+	
+  </extension>
+
+
+
+</plugin>
-- 
cgit v1.2.3-70-g09d2