disjointness annotations to D2

[IRC.git] / Robust / src / Benchmarks / mlp / directto / mlp-java / Flight.java

diff --git a/Robust/src/Benchmarks/mlp/directto/mlp-java/Flight.java b/Robust/src/Benchmarks/mlp/directto/mlp-java/Flight.java
index 4089257b8799f25b87c816d8cc7a5dcb0c794a80..25529f54fac292bc7fcfc2221a620b268fd12e28 100755 (executable)
--- a/Robust/src/Benchmarks/mlp/directto/mlp-java/Flight.java
+++ b/Robust/src/Benchmarks/mlp/directto/mlp-java/Flight.java
@@ -51,7 +51,7 @@ public class Flight /*implements Cloneable*/ {
   }
 
   public static Flight copyOf( D2 d2, Flight f) {
-    Flight fNew       = new Flight(d2, f.flightID);
+    Flight fNew       = disjoint flightCopy new Flight(d2, f.flightID);
     fNew.trialStatus  = f.trialStatus;
     fNew.aircraftType = f.aircraftType;
     fNew.track        = f.track;