From 9643b7b7a735afc408ca6a172e2719653553627a Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Mon, 4 Mar 2019 17:31:16 -0500
Subject: Begin handing of scope and fix type definitions.

---
 .../vampireLanguage/VampireLanguageFactory.java        | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java')

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
@@ -77,24 +77,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 -->
-- 
cgit v1.2.3-70-g09d2