1 files changed, 0 insertions, 24 deletions

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();

@@ -179,28 +177,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
    * <!-- 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 -->

-   * @generated

-   */

   public VLSFofFormula createVLSFofFormula()

   {

     VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl();