From 9929e0e018a2ef73f8493751facd15c4df3793d9 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 28 Jun 2012 22:17:11 +0200
Subject: [PATCH] removed unused variable
---
de.prob.ui/src/de/prob/ui/ltl/CounterExampleViewPart.java | 1 -
1 file changed, 1 deletion(-)
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 f2c3ccd9..ccc78b7e 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()
--
GitLab