From 39b60d4225f5efa4e0287a2c6ce69d90391c69db Mon Sep 17 00:00:00 2001 From: RncLsn Date: Fri, 3 Jul 2015 19:09:31 +0100 Subject: Many little changes. --- src/resources/pagoda.properties | 1 + 1 file changed, 1 insertion(+) (limited to 'src/resources/pagoda.properties') diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index 64de225..98f8628 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -1,5 +1,6 @@ debug=true useAlwaysSimpleUpperBound=false useSkolemUpperBound=true +toCallHermit=true statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file -- cgit v1.2.3