From 39b60d4225f5efa4e0287a2c6ce69d90391c69db Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Fri, 3 Jul 2015 19:09:31 +0100
Subject: Many little changes.

---
 .../pagoda/rules/approximators/LimitedSkolemisationApproximator.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/rules/approximators')

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 dfe1e59..d694b61 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
@@ -64,14 +64,14 @@ public class LimitedSkolemisationApproximator implements TupleDependentApproxima
 
     private Collection<DLClause> overApprox(DLClause clause, DLClause originalClause, Collection<Tuple<Individual>> violationTuples) {
         ArrayList<DLClause> result = new ArrayList<>();
-        for(Tuple<Individual> violationTuple : violationTuples)
+        for(Tuple<Individual> violationTuple : violationTuples) {
             if(getMaxDepth(violationTuple) < maxTermDepth) {
                 result.addAll(getGroundSkolemisation(clause, originalClause, violationTuple));
                 Utility.logDebug("Approximating maximal individual by a constant in rule:" + originalClause);
             }
             else
                 result.addAll(alternativeApproximator.convert(clause, originalClause, null));
-
+        }
 
         return result;
     }
-- 
cgit v1.2.3