From 2f34e60b57b04bff4a86c9eda02e5211bad82a24 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 22 May 2013 12:05:41 +0200
Subject: [PATCH] move file to internal package

---
 .../eventb/disprover/core/{ => internal}/ICounterExample.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/{ => internal}/ICounterExample.java (74%)

diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/ICounterExample.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/ICounterExample.java
similarity index 74%
rename from de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/ICounterExample.java
rename to de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/ICounterExample.java
index b2f3ab9e..4890b1dc 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/ICounterExample.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/ICounterExample.java
@@ -1,4 +1,4 @@
-package de.prob.eventb.disprover.core;
+package de.prob.eventb.disprover.core.internal;
 
 public interface ICounterExample {
 
-- 
GitLab