From 9643b7b7a735afc408ca6a172e2719653553627a Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 4 Mar 2019 17:31:16 -0500
Subject: Begin handing of scope and fix type definitions.

---
 .../impl/VampireLanguageFactoryImpl.java           | 24 ----------------------
 1 file changed, 24 deletions(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
index cd4a7a01..c3c74fe9 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
@@ -71,8 +71,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
       case VampireLanguagePackage.VLS_COMMENT: return createVLSComment();
       case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations();
       case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable();
-      case VampireLanguagePackage.VLS_TRYING: return createVLSTrying();
-      case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel();
       case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula();
       case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula();
       case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation();
@@ -174,28 +172,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
     return vlsSatisfiable;
   }
 
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  public VLSTrying createVLSTrying()
-  {
-    VLSTryingImpl vlsTrying = new VLSTryingImpl();
-    return vlsTrying;
-  }
-
-  /**
-   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
-   * @generated
-   */
-  public VLSFiniteModel createVLSFiniteModel()
-  {
-    VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl();
-    return vlsFiniteModel;
-  }
-
   /**
    * <!-- begin-user-doc -->
    * <!-- end-user-doc -->
-- 
cgit v1.2.3-54-g00ecf