From a4b0b11af24ac80f5a0949b555affaaa9c81db03 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 29 Jun 2023 10:15:48 +0200
Subject: [PATCH] Remove unused TheoryTranslator which just prints stuff

---
 .../eventb/translator/TheoryTranslator.java   | 23 -------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 de.prob.core/src/de/prob/eventb/translator/TheoryTranslator.java

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 d31ff06a..00000000
--- 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"));
-			}
-		}
-	}
-}
-- 
GitLab