1 files changed, 0 insertions, 14 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
deleted file mode 100644
index 6bd8f05..0000000
--- a/test/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java
+++ /dev/null
@@ -1,14 +0,0 @@
-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
-    }
-}