1 files changed, 6 insertions, 6 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
index 41e073ca..1d9a6b22 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

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

 

@@ -131,9 +131,9 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
         return createVLSVariableAdapter();

       }

       @Override

-      public Adapter caseVLSFunctionFof(VLSFunctionFof object)

+      public Adapter caseVLSFunctionAsTerm(VLSFunctionAsTerm object)

       {

-        return createVLSFunctionFofAdapter();

+        return createVLSFunctionAsTermAdapter();

       }

       @Override

       public Adapter caseVLSDefinedTerm(VLSDefinedTerm object)

@@ -443,16 +443,16 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

-   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'.

+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm <em>VLS Function As Term</em>}'.

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

    * This default implementation returns null so that we can easily ignore cases;

    * it's useful to ignore a case when inheritance will catch all the cases anyway.

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

    * @return the new adapter.

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm

    * @generated

    */

-  public Adapter createVLSFunctionFofAdapter()

+  public Adapter createVLSFunctionAsTermAdapter()

   {

     return null;

   }