diff --git a/src/main/java/org/orekit/rugged/errors/DumpManager.java b/src/main/java/org/orekit/rugged/errors/DumpManager.java index acb944807c4543d334dcef5c85d9c48cfe0b014d..713beb5fe282d9596ae8c9d2b4163bb2f0b5d989 100644 --- a/src/main/java/org/orekit/rugged/errors/DumpManager.java +++ b/src/main/java/org/orekit/rugged/errors/DumpManager.java @@ -80,7 +80,7 @@ public class DumpManager { DUMP.get().deactivate(); DUMP.set(null); } else { - throw new RuggedException(RuggedMessages.DEBUG_DUMP_ALREADY_ACTIVE); + throw new RuggedException(RuggedMessages.DEBUG_DUMP_NOT_ACTIVE); } }