1 files changed, 5 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
index e40b0bd1..b4b09e15 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
@@ -70,6 +70,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public FileSystem createFileSystem() {

                 FileSystemImpl fileSystem = new FileSystemImpl();

                 return fileSystem;

@@ -80,6 +81,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Dir createDir() {

                 DirImpl dir = new DirImpl();

                 return dir;

@@ -90,6 +92,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public File createFile() {

                 FileImpl file = new FileImpl();

                 return file;

@@ -100,6 +103,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Model createModel() {

                 ModelImpl model = new ModelImpl();

                 return model;

@@ -110,6 +114,7 @@ public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFac
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public FilesystemPackage getFilesystemPackage() {

                 return (FilesystemPackage)getEPackage();

         }