From 9d5e182763d3bb41da7134a41bd26ce35447a74c Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 22 May 2013 12:06:50 +0200
Subject: [PATCH] fix import of counter example

---
 .../de/prob/eventb/disprover/core/internal/CounterExample.java   | 1 -
 .../de/prob/eventb/disprover/core/internal/DisproverCommand.java | 1 -
 .../prob/eventb/disprover/core/internal/DisproverReasoner.java   | 1 -
 3 files changed, 3 deletions(-)

diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
index c7f786b0..2d000cbd 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
@@ -3,7 +3,6 @@ package de.prob.eventb.disprover.core.internal;
 import java.util.SortedMap;
 import java.util.TreeMap;
 
-import de.prob.eventb.disprover.core.ICounterExample;
 
 /**
  * This class wraps the results from a Disprover run. It either indicates that
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index 1d40ffa2..50c44801 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -17,7 +17,6 @@ import de.prob.core.command.IComposableCommand;
 import de.prob.core.command.SetPreferencesCommand;
 import de.prob.core.command.StartAnimationCommand;
 import de.prob.core.command.internal.InternalLoadCommand;
-import de.prob.eventb.disprover.core.ICounterExample;
 import de.prob.eventb.translator.PredicateVisitor;
 import de.prob.exceptions.ProBException;
 import de.prob.parser.ISimplifiedROMap;
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
index 68ff4402..41e8792c 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
@@ -28,7 +28,6 @@ import org.rodinp.core.basis.InternalElement;
 import de.prob.core.Animator;
 import de.prob.core.PrologException;
 import de.prob.eventb.disprover.core.DisproverReasonerInput;
-import de.prob.eventb.disprover.core.ICounterExample;
 import de.prob.exceptions.ProBException;
 import de.prob.logging.Logger;
 
-- 
GitLab