1 files changed, 6 insertions, 1 deletions

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 97c59724..f8505d33 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.12">

+    editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.13">

   <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true"

       fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/">

     <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity">

@@ -80,6 +80,7 @@
       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSSigScope/type"/>

     </genClasses>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIntScope"/>

+    <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringScope"/>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSQuantifiedEx">

       <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/type"/>

       <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSQuantifiedEx/disj"/>

@@ -196,11 +197,15 @@
     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSIden"/>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSUniv"/>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSInt"/>

+    <genClasses ecoreClass="AlloyLanguage.ecore#//ALSString"/>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSReference">

       <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference AlloyLanguage.ecore#//ALSReference/referred"/>

     </genClasses>

     <genClasses ecoreClass="AlloyLanguage.ecore#//ALSNumberLiteral">

       <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSNumberLiteral/value"/>

     </genClasses>

+    <genClasses ecoreClass="AlloyLanguage.ecore#//ALSStringLiteral">

+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute AlloyLanguage.ecore#//ALSStringLiteral/value"/>

+    </genClasses>

   </genPackages>

 </genmodel:GenModel>