From 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Thu, 4 Jun 2015 14:37:25 +0100
Subject: Restored fixed SkolemTermsManager (went lost in some revert).

---
 test/resources/LightTests.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'test/resources')

diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index 92edb48..859e3fa 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -10,10 +10,10 @@
         </groups>
 
         <classes>
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>
-            <!--Fly does not terminate: query-5 is really hard-->
-            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
+            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>-->
+            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>-->
+            <!--Fly does not terminate: query-5 looks really hard-->
+            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>
         </classes>
     </test>
 </suite>
\ No newline at end of file
-- 
cgit v1.2.3