From 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Mon, 11 May 2015 18:00:57 +0100
Subject: Adding (not completed) a new upper bound technique, namely Limited
 Skolemisation.

---
 pom.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'pom.xml')

diff --git a/pom.xml b/pom.xml
index c6d3bb0..630dfa3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -108,11 +108,11 @@
 			<artifactId>testng</artifactId>
 			<version>6.7</version>
 		</dependency>
-		<dependency>
-			<groupId>com.googlecode.json-simple</groupId>
-			<artifactId>json-simple</artifactId>
-			<version>1.1.1</version>
-		</dependency>
+		<!--<dependency>-->
+			<!--<groupId>com.googlecode.json-simple</groupId>-->
+			<!--<artifactId>json-simple</artifactId>-->
+			<!--<version>1.1.1</version>-->
+		<!--</dependency>-->
 		<dependency>
 			<groupId>com.google.code.gson</groupId>
 			<artifactId>gson</artifactId>
-- 
cgit v1.2.3