From c3480bb733b8bca976718a3dc2f09a21cb4b1b45 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 4 Aug 2015 18:30:46 +0100 Subject: Rules parsing. --- src/resources/pagoda.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/resources/pagoda.properties') 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 -- cgit v1.2.3