Option for SkolemUpperBound application and for skolemisation depth (from file pagoda.properties).

1 files changed, 2 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
index d88376f..f702d5c 100644
--- a/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
+++ b/src/uk/ac/ox/cs/pagoda/query/QueryRecord.java
@@ -802,7 +802,7 @@ public class QueryRecord extends Disposable {
         }
 
         public static Gson getInstance() {
-            if(gson == null) {
+            if (gson == null) {
                 gson = new GsonBuilder()
                         .registerTypeAdapter(AnswerTuple.class, new AnswerTuple.AnswerTupleSerializer())
                         .registerTypeAdapter(QueryRecord.class, new QueryRecord.QueryRecordSerializer())
@@ -820,4 +820,5 @@ public class QueryRecord extends Disposable {
 //              }
 
     }
+
 }