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 f404a08bb49509df1dcc03e62ca69aeb59456c03..919f0979396aa39e6731f485a266695d904c4308 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java +++ b/de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java @@ -116,14 +116,10 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements ; if (resource != null) { - LimitedLogger.getLogger().log("user started animation", + LimitedLogger.getLogger().log("user started unit analysis", rootElement.getElementName(), null); registerModificationListener(resource); - // do not change perspective - just start animator and shut it down - // after the analysis - // PerspectiveFactory.openPerspective(); - final Animator animator = Animator.getAnimator(); try { // load machine and activate plugin