1 files changed, 2 insertions, 2 deletions
diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties
index e6aa503..dab8388 100644
--- a/src/resources/pagoda.properties
+++ b/src/resources/pagoda.properties
@@ -1,8 +1,8 @@
 debug=true
 useAlwaysSimpleUpperBound=false
-skolemUpperBound=DISABLED
+#skolemUpperBound=DISABLED
 #skolemUpperBound=BEFORE_SUMMARISATION
-#skolemUpperBound=AFTER_SUMMARISATION
+skolemUpperBound=AFTER_SUMMARISATION
 skolemDepth=1
 toCallHermit=true

diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index e6aa503..dab8388 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties
@@ -1,8 +1,8 @@
1	debug=true	1	debug=true
2	useAlwaysSimpleUpperBound=false	2	useAlwaysSimpleUpperBound=false
3	skolemUpperBound=DISABLED	3	#skolemUpperBound=DISABLED
4	#skolemUpperBound=BEFORE_SUMMARISATION	4	#skolemUpperBound=BEFORE_SUMMARISATION
5	#skolemUpperBound=AFTER_SUMMARISATION	5	skolemUpperBound=AFTER_SUMMARISATION
6	skolemDepth=1	6	skolemDepth=1
7	toCallHermit=true	7	toCallHermit=true
8		8