1 files changed, 9 insertions, 9 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 171bb39e..a137054e 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
@@ -87,6 +87,15 @@ public interface VampireLanguageFactory extends EFactory
   VLSTffTerm createVLSTffTerm();

 

   /**

+   * Returns a new object of class '<em>VLS Term</em>'.

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

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

+   * @return a new object of class '<em>VLS Term</em>'.

+   * @generated

+   */

+  VLSTerm createVLSTerm();

+

+  /**

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

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

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

@@ -123,15 +132,6 @@ public interface VampireLanguageFactory extends EFactory
   VLSTypeDef createVLSTypeDef();

 

   /**

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

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

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

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

-   * @generated

-   */

-  VLSTerm createVLSTerm();

-

-  /**

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

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

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