Violations processor (Python script).

1 files changed, 2 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
index da67264..dfe1e59 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
@@ -8,8 +8,8 @@ import uk.ac.ox.cs.pagoda.util.tuples.Tuple;
 import uk.ac.ox.cs.pagoda.util.tuples.TupleBuilder;
 
 import java.util.ArrayList;
-import java.util.Arrays;
 import java.util.Collection;
+import java.util.Collections;
 
 /**
  * Approximates existential rules through a limited form of Skolemisation.
@@ -45,7 +45,7 @@ public class LimitedSkolemisationApproximator implements TupleDependentApproxima
             case 1:
                 return overApprox(clause, originalClause, violationTuples);
             case 0:
-                return Arrays.asList(clause);
+                return Collections.singletonList(clause);
             default:
                 throw new IllegalArgumentException(
                         "Expected clause with head length < 1, but it is " + clause.getHeadLength());