diff --git a/de.prob.core/src/de/prob/eventb/translator/TheoryTranslator.java b/de.prob.core/src/de/prob/eventb/translator/TheoryTranslator.java
deleted file mode 100644
index d31ff06a2e8cfe0f759cd5a3e1390ad44bc49ea0..0000000000000000000000000000000000000000
--- a/de.prob.core/src/de/prob/eventb/translator/TheoryTranslator.java
+++ /dev/null
@@ -1,23 +0,0 @@
-package de.prob.eventb.translator;
-
-import org.eclipse.core.runtime.IConfigurationElement;
-import org.eclipse.core.runtime.IExtension;
-import org.eclipse.core.runtime.IExtensionPoint;
-import org.eclipse.core.runtime.IExtensionRegistry;
-import org.eclipse.core.runtime.Platform;
-
-public class TheoryTranslator {
-
-	public void translate() {
-		final IExtensionRegistry extensionRegistry = Platform
-				.getExtensionRegistry();
-		final IExtensionPoint extensionPoint = extensionRegistry
-				.getExtensionPoint("org.eventb.theory.core.deployedElements");
-		for (final IExtension extension : extensionPoint.getExtensions()) {
-			for (final IConfigurationElement configurationElement : extension
-					.getConfigurationElements()) {
-				System.out.println(configurationElement.getAttribute("name"));
-			}
-		}
-	}
-}