From 41231274d7e5466c89e24414bf567accf5bb2760 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Thu, 19 Sep 2024 20:25:36 +0200
Subject: Day11: Comment out test code

---
 Day11.lean | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

(limited to 'Day11.lean')

diff --git a/Day11.lean b/Day11.lean
index c8ba675..32b877c 100644
--- a/Day11.lean
+++ b/Day11.lean
@@ -142,19 +142,19 @@ instance : Part ⟨11,_⟩ Parts.Two (ι := TelescopePicture) (ρ := Nat) where
 
 ------------------------------------------------------------------------------------------
 
-private def testData := "
-...#......
-.......#..
-#.........
-..........
-......#...
-.#........
-.........#
-..........
-.......#..
-#...#.....
-"
-
-#eval
-  let data := DayPart.Parse.parse ⟨11,_⟩ testData
-  data.map (part (1000000 - 1))
+--private def testData := "
+--...#......
+--.......#..
+--#.........
+--..........
+--......#...
+--.#........
+--.........#
+--..........
+--.......#..
+--#...#.....
+--"
+
+--#eval
+--  let data := DayPart.Parse.parse ⟨11,_⟩ testData
+--  data.map (part (1000000 - 1))
-- 
cgit v1.2.3

