Gather data

2026-01-08 00:37:54 +01:00
parent efe70fb121
commit 2680e70418
6 changed files with 105 additions and 133 deletions
--- a/src/main/java/puzzle/ExportFormat.java
+++ b/src/main/java/puzzle/ExportFormat.java
@@ -26,8 +26,6 @@ public final class ExportFormat {
   public static ExportedPuzzle exportFormatFromFilled(PuzzleResult puz, int difficulty, Rewards rewards) {
      Objects.requireNonNull(puz, "puz");
      var g = puz.filled().grid();
-      var H = g.H();
-      var W = g.W();
      
      // 1) extract "placed" list from all clue digits in the filled grid
      var placed   = new ArrayList<Placed>();