diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
index 1e6cb6afac0415be60eebadf0a65d43931edb345..67dc3d738b4cdfcbafd664759d60748daf16954c 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
@@ -1,8 +1,6 @@
 package de.prob.eventb.disprover.core;
 
-import org.eventb.core.ast.Predicate;
 import org.eventb.core.seqprover.IProofTreeNode;
-import org.eventb.core.seqprover.IProverSequent;
 import org.eventb.core.seqprover.IReasonerInput;
 import org.eventb.core.seqprover.proofBuilder.ReplayHints;
 
@@ -18,11 +16,6 @@ public class DisproverReasonerInput implements IReasonerInput {
 
 	private final IProofTreeNode node;
 
-	private int maxInt;
-	private int minInt;
-	private int setSize;
-	private int timeout;
-
 	public DisproverReasonerInput(IProofTreeNode node) {
 		this.node = node;
 	}
@@ -47,21 +40,4 @@ public class DisproverReasonerInput implements IReasonerInput {
 	public IProofTreeNode getProofTreeNode() {
 		return node;
 	}
-
-	public int getMaxInt() {
-		return maxInt;
-	}
-
-	public int getMinInt() {
-		return minInt;
-	}
-
-	public int getSetSize() {
-		return setSize;
-	}
-
-	public int getTimeout() {
-		return timeout;
-	}
-
 }