From af9654ee25f5b2dfdb055a197674c1aeceea1171 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 3 Sep 2015 15:52:47 +0100 Subject: Integrated fix (manually) from upper stream. --- src/resources/pagoda.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/resources') diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index aa08593..8bcbca6 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=BEFORE_SUMMARISATION -skolemUpperBound=BEFORE_SUMMARISATION skolemDepth=10 # seems ok for -Xmx6g -- cgit v1.2.3