From 7a68441a541b12b22587fb53072193e1130049ff Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 19 May 2015 19:06:04 +0100
Subject: Deleted unused classes.

---
 .../pagoda/rules/approximators/TestSkolemTermsManager.java | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 test/uk/ac/ox/cs/pagoda/rules/approximators/TestSkolemTermsManager.java

(limited to 'test/uk/ac/ox/cs/pagoda/rules')

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
+    }
+}
-- 
cgit v1.2.3