1 files changed, 8 insertions, 8 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
index 24ad4238..3b7106f8 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;

 

@@ -152,11 +152,11 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

-      case VampireLanguagePackage.VLS_FUNCTION_FOF:

+      case VampireLanguagePackage.VLS_FUNCTION_AS_TERM:

       {

-        VLSFunctionFof vlsFunctionFof = (VLSFunctionFof)theEObject;

-        T result = caseVLSFunctionFof(vlsFunctionFof);

-        if (result == null) result = caseVLSTerm(vlsFunctionFof);

+        VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;

+        T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);

+        if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);

         if (result == null) result = defaultCase(theEObject);

         return result;

       }

@@ -537,17 +537,17 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.

+   * Returns the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.

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

    * This implementation returns null;

    * returning a non-null result will terminate the switch.

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

    * @param object the target of the switch.

-   * @return the result of interpreting the object as an instance of '<em>VLS Function Fof</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Function As Term</em>'.

    * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

    * @generated

    */

-  public T caseVLSFunctionFof(VLSFunctionFof object)

+  public T caseVLSFunctionAsTerm(VLSFunctionAsTerm object)

   {

     return null;

   }