Deleted unused classes.

1 files changed, 14 insertions, 0 deletions

diff --git a/test/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java b/test/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java
new file mode 100644
index 0000000..6bd8f05
--- /dev/null
+++ b/test/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java
@@ -0,0 +1,14 @@
+package uk.ac.ox.cs.pagoda.rules.approximators;
+
+import org.testng.annotations.Test;
+
+/**
+ * Tests for the class <tt>SkolemTermsManager</tt>
+ */
+public class TestSkolemTermsManager {
+
+    @Test
+    public void test() {
+        // TODO some test
+    }
+}