From 2e069a4966e6305194c4168d6fc5c406123d7f64 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Thu, 28 May 2015 10:29:11 +0100
Subject: NOT-WORKING: trying to add query-dependent Skolemisation.

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

(limited to 'test/resources')

diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index bd0ea93..a30c436 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -11,8 +11,8 @@
 
         <classes>
             <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>
+            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>-->
+            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
         </classes>
     </test>
 </suite>
\ No newline at end of file
-- 
cgit v1.2.3