Skip to content
Snippets Groups Projects
Commit 9bf39a3a authored by dgelessus's avatar dgelessus
Browse files

Don't show ID of found state in :find result

parent 34b1e7ab
Branches
No related tags found
No related merge requests found
...@@ -45,7 +45,7 @@ public final class FindCommand implements Command { ...@@ -45,7 +45,7 @@ public final class FindCommand implements Command {
return trace.getStateSpace().getTraceToState(pred); return trace.getStateSpace().getTraceToState(pred);
}); });
this.animationSelector.changeCurrentAnimation(newTrace); 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 @Override
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment