From e887fd767dfb65851c3bcd7e44e2ad102843e023 Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Tue, 22 Jan 2019 10:55:06 +0100
Subject: [PATCH] Fixed missing deprecated annotation.

---
 .../orekit/estimation/measurements/AbstractMeasurement.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/main/java/org/orekit/estimation/measurements/AbstractMeasurement.java b/src/main/java/org/orekit/estimation/measurements/AbstractMeasurement.java
index 31d575d43..8b84d2b94 100644
--- a/src/main/java/org/orekit/estimation/measurements/AbstractMeasurement.java
+++ b/src/main/java/org/orekit/estimation/measurements/AbstractMeasurement.java
@@ -229,8 +229,10 @@ public abstract class AbstractMeasurement<T extends ObservedMeasurement<T>>
         return baseWeight.clone();
     }
 
-    /** {@inheritDoc} */
-    @Override
+    /** {@inheritDoc}
+     * @deprecated as of 9.3, replaced by {@link #getSatellites()}
+     */
+    @Deprecated
     public List<Integer> getPropagatorsIndices() {
         return satellites.stream().map(s -> s.getPropagatorIndex()).collect(Collectors.toList());
     }
-- 
GitLab