From db6cce8cb9090a7ed260a0c615b4fb79ef42b734 Mon Sep 17 00:00:00 2001
From: Paul Wagner <paultristanwagner@gmail.com>
Date: Mon, 15 Jul 2024 14:51:38 +0200
Subject: [PATCH] Update sudoku equality builder to new QF_EQ syntax

---
 .../satchecking/builder/SudokuEqualityBuilder.java            | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/me/paultristanwagner/satchecking/builder/SudokuEqualityBuilder.java b/src/main/java/me/paultristanwagner/satchecking/builder/SudokuEqualityBuilder.java
index 0e509c0..ce4369e 100644
--- 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() {