Many little changes.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java b/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java
index 530b97f..81c99a4 100644
--- a/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java
+++ b/src/uk/ac/ox/cs/pagoda/hermit/RuleHelper.java
@@ -37,7 +37,7 @@ public class RuleHelper {
                 boolean lastSpace = true;
                 for (Atom headAtom: clause.getHeadAtoms()) {
                         if ((atomText = getText(headAtom)) == null) continue; 
-                        if (!lastSpace) buf.append(" | ");
+                        if (!lastSpace) buf.append(" v ");
                         buf.append(atomText);
                         lastSpace = false;
                 }