1 files changed, 0 insertions, 18 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
index a89885ee..84b65a59 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java
@@ -78,24 +78,6 @@ public interface VampireLanguageFactory extends EFactory
   VLSSatisfiable createVLSSatisfiable();

 

   /**

-   * Returns a new object of class '<em>VLS Trying</em>'.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @return a new object of class '<em>VLS Trying</em>'.

-   * @generated

-   */

-  VLSTrying createVLSTrying();

-

-  /**

-   * Returns a new object of class '<em>VLS Finite Model</em>'.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @return a new object of class '<em>VLS Finite Model</em>'.

-   * @generated

-   */

-  VLSFiniteModel createVLSFiniteModel();

-

-  /**

    * Returns a new object of class '<em>VLS Fof Formula</em>'.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->