From 4807596155639f2d76850a8c14bc21b2aeb79413 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 18 Jan 2012 12:15:59 +0100
Subject: [PATCH] fixed problem with load shortest trace

---
 .../src/de/prob/ui/stateview/LoadShortestTraceHandler.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
index aee72bf1..298aefbd 100644
--- a/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
+++ b/de.prob.ui/src/de/prob/ui/stateview/LoadShortestTraceHandler.java
@@ -51,7 +51,7 @@ public class LoadShortestTraceHandler extends AbstractHandler implements
 				final Operation op = getOperationByDstId(nextState,
 						state.getEnabledOperations());
 
-				state = ExploreStateCommand.exploreState(animator, stateId);
+				state = ExploreStateCommand.exploreState(animator, nextState);
 
 				// append state- and operation objects to history
 				animator.getHistory().add(state, op);
-- 
GitLab