From c4448d19c06df53e833b6c1d03c1670a41e10baf Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 4 Jan 2013 12:55:14 +0100
Subject: [PATCH] removed old todo item

---
 de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java b/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
index 919f0979..52c57b7a 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java
@@ -137,7 +137,6 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
 
 				animator.execute(composed);
 
-				// TODO: get resulting state and fill attributes
 				GetPluginResultCommand pluginResultCommand = new GetPluginResultCommand(
 						"Grounded Result State");
 
-- 
GitLab