diff --git a/src/main/java/de/prob2/jupyter/commands/FindCommand.java b/src/main/java/de/prob2/jupyter/commands/FindCommand.java index cd5b7dbb640d96cc4ebaba5a2d7b9032197cc00c..03cbfd3f52f6bc39468bcac97908673ebae55e9f 100644 --- a/src/main/java/de/prob2/jupyter/commands/FindCommand.java +++ b/src/main/java/de/prob2/jupyter/commands/FindCommand.java @@ -45,7 +45,7 @@ public final class FindCommand implements Command { return trace.getStateSpace().getTraceToState(pred); }); this.animationSelector.changeCurrentAnimation(newTrace); - return new DisplayData("Found state: " + newTrace.getCurrentState().getId()); + return new DisplayData("Found a matching state and made it current state"); } @Override