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 919f0979396aa39e6731f485a266695d904c4308..52c57b7a6b4ff598d20fcf139a29fe680fccdc6b 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");