From f00ce77fdc3a1417ddfd833f122b64ecef80d7d6 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@152.66.252.189>
Date: Sun, 2 Jul 2017 23:34:27 +0200
Subject: Alloy implementation of multiple model generation

---
 .../model/generated/AlloyLanguage.genmodel                              | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model')

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel
index dd1d46d2..97c59724 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel
@@ -5,7 +5,7 @@
     modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true"
     modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
     complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit"
-    editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.11">
+    editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.12">
   <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true"
       fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/">
     <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity">
-- 
cgit v1.2.3-54-g00ecf