diff --git a/de.prob.ui/src/de/prob/ui/ltl/CounterExampleViewPart.java b/de.prob.ui/src/de/prob/ui/ltl/CounterExampleViewPart.java
index f2c3ccd9680fa36bbe722ef66e7fc440a2ed4719..ccc78b7ee67206ec55bb01e1f5e4db83c56bb6e1 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/CounterExampleViewPart.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/CounterExampleViewPart.java
@@ -42,7 +42,6 @@ public final class CounterExampleViewPart extends StateBasedViewPart {
 
 	private CTabFolder tabFolder;
 	private ViewType viewType = ViewType.INTERACTIVE;
-	private int currentIndex = -1;
 
 	public static CounterExampleViewPart showDefault() {
 		final IWorkbenchPage workbenchPage = PlatformUI.getWorkbench()