From 9bf39a3a95396a941be7172cd29d107b5a389460 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 12 Jul 2018 13:52:51 +0200
Subject: [PATCH] Don't show ID of found state in :find result
---
src/main/java/de/prob2/jupyter/commands/FindCommand.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/prob2/jupyter/commands/FindCommand.java b/src/main/java/de/prob2/jupyter/commands/FindCommand.java
index cd5b7db..03cbfd3 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
--
GitLab