1 files changed, 4 insertions, 4 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 84b65a59..0fb23c87 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
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.vampireLanguage;

 

@@ -123,13 +123,13 @@ public interface VampireLanguageFactory extends EFactory
   VLSVariable createVLSVariable();

 

   /**

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

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

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

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

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

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

    * @generated

    */

-  VLSFunctionFof createVLSFunctionFof();

+  VLSFunctionAsTerm createVLSFunctionAsTerm();

 

   /**

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