From 4749b3ca572618fa1a7cdb17e2abba9b498279ca Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 5 Jan 2025 23:55:54 +0100
Subject: Move AStar into a separte library and use it for Day17-1

---
 Common/Parsing.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Common/Parsing.lean')

diff --git a/Common/Parsing.lean b/Common/Parsing.lean
index d878639..d68a313 100644
--- a/Common/Parsing.lean
+++ b/Common/Parsing.lean
@@ -2,7 +2,7 @@
 
 import Common.List
 import Common.Nat
-import Common.Finite
+import LeanAStar.Finite
 
 namespace Parsing
 
-- 
cgit v1.2.3