1 files changed, 2 insertions, 2 deletions
diff --git a/Day3.lean b/Day3.lean
index 8bf0874..fd6fbc8 100644
--- a/Day3.lean
+++ b/Day3.lean
@@ -1,6 +1,6 @@
 import «Common»
-import Lean.Data.HashSet
-import Lean.Data.HashMap
+import Std.Data.HashSet
+import Std.Data.HashMap
 
 namespace Day3
 structure Coordinate : Type 0 where