Update sudoku equality builder to new QF_EQ syntax

paultristanwagner · Jul 15, 2024 · db6cce8 · db6cce8
1 parent 4355677
commit db6cce8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/java/me/paultristanwagner/satchecking/builder/SudokuEqualityBuilder.java b/src/main/java/me/paultristanwagner/satchecking/builder/SudokuEqualityBuilder.java
@@ -25,11 +25,11 @@ private String constant(int i) {
   }
 
   private void equal(String a, String b) {
-    builder.append("[").append(a).append("=").append(b).append("]");
+    builder.append(a).append("=").append(b);
   }
 
   private void notEqual(String a, String b) {
-    builder.append("[").append(a).append("!=").append(b).append("]");
+    builder.append(a).append("!=").append(b);
   }
 
   public String build() {