1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java
index 28ae1a33..00dd1733 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java
@@ -26,7 +26,7 @@ public interface VLSUniversalQuantifier extends VLSTerm
 {
  /**
   * Returns the value of the '<em><b>Variables</b></em>' containment reference list.
-   * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable}.
+   * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration}.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Variables</em>' containment reference list isn't clear,
@@ -38,7 +38,7 @@ public interface VLSUniversalQuantifier extends VLSTerm
   * @model containment="true"
   * @generated
   */
-  EList<VLSVariable> getVariables();
+  EList<VLSVariableDeclaration> getVariables();
  /**
   * Returns the value of the '<em><b>Operand</b></em>' containment reference.

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java index 28ae1a33..00dd1733 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSUniversalQuantifier.java
@@ -26,7 +26,7 @@ public interface VLSUniversalQuantifier extends VLSTerm
26	{	26	{
27	/**	27	/**
28	* Returns the value of the '<em><b>Variables</b></em>' containment reference list.	28	* Returns the value of the '<em><b>Variables</b></em>' containment reference list.
29	* The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable}.	29	* The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration}.
30	* <!-- begin-user-doc -->	30	* <!-- begin-user-doc -->
31	* <p>	31	* <p>
32	* If the meaning of the '<em>Variables</em>' containment reference list isn't clear,	32	* If the meaning of the '<em>Variables</em>' containment reference list isn't clear,
@@ -38,7 +38,7 @@ public interface VLSUniversalQuantifier extends VLSTerm
38	* @model containment="true"	38	* @model containment="true"
39	* @generated	39	* @generated
40	*/	40	*/
41	EList<VLSVariable> getVariables();	41	EList<VLSVariableDeclaration> getVariables();
42		42
43	/**	43	/**
44	* Returns the value of the '<em><b>Operand</b></em>' containment reference.	44	* Returns the value of the '<em><b>Operand</b></em>' containment reference.