From 4fe7fce97aedbd516109ef81afc33e00112b7b68 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 28 Aug 2020 18:58:37 +0200
Subject: Must unit propagation

---
 .../ecore-gen/modes3/Modes3ModelRoot.java                             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3ModelRoot.java')

diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3ModelRoot.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3ModelRoot.java
index 4f925b7a..d46ee305 100644
--- a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3ModelRoot.java
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/Modes3ModelRoot.java
@@ -62,7 +62,7 @@ public interface Modes3ModelRoot extends EObject {
 
 	/**
 	 * Returns the value of the '<em><b>Segments</b></em>' containment reference list.
-	 * The list contents are of type {@link modes3.Segment}.
+	 * The list contents are of type {@link modes3.SimpleSegment}.
 	 * <!-- begin-user-doc -->
 	 * <!-- end-user-doc -->
 	 * @return the value of the '<em>Segments</em>' containment reference list.
@@ -70,7 +70,7 @@ public interface Modes3ModelRoot extends EObject {
 	 * @model containment="true"
 	 * @generated
 	 */
-	EList<Segment> getSegments();
+	EList<SimpleSegment> getSegments();
 
 	/**
 	 * Returns the value of the '<em><b>Turnouts</b></em>' containment reference list.
-- 
cgit v1.2.3-54-g00ecf