1 files changed, 1 insertions, 1 deletions

diff --git a/Day12.lean b/Day12.lean
index 25fd28a..a9aa172 100644
--- a/Day12.lean
+++ b/Day12.lean
@@ -1,5 +1,5 @@
 import «Common»
-import Lean.Data.HashMap
+import Std.Data.HashMap
 
 namespace Day12