- yet another minor tweak.

Author: ctjoreilly

src/aima/logic/fol/kb/data/Clause.java

@@ -580,13 +580,7 @@ public ClauseEqualityIdentityConstructor(List<Literal> literals,
 
 		clauseVarCounts = new int[literals.size()];
 
-		boolean first = true;
 		for (Literal l : literals) {
-			if (first) {
-				first = false;
-			} else {
-				identity.append(",");
-			}
 			if (l.isNegativeLiteral()) {
 				identity.append("~");
 			}