From 691964863246bbf6ef9f72cc5e82c83df34f135a Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 2 Jun 2015 15:40:29 +0100
Subject: Working query-dependent semi-skolemised upper bound (tested on UOBM1
 and LUBM1).

---
 test/resources/LightTests.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/resources/LightTests.xml')

diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index ccafa25..d8691d7 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -10,7 +10,7 @@
         </groups>
 
         <classes>
-            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>-->
+            <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"/>-->
         </classes>
-- 
cgit v1.2.3