Change all imports from Lean to Std to reduce binary size.

Reduces binary size by more than a factor of 10...
https://github.com/leanprover/lean4/issues/5274

1 files changed, 2 insertions, 2 deletions

diff --git a/Day8.lean b/Day8.lean
index 6bb7e99..62dc1fa 100644
--- a/Day8.lean
+++ b/Day8.lean
@@ -1,6 +1,6 @@
 import «Common»
-import Lean.Data.HashMap
-import Lean.Data.HashSet
+import Std.Data.HashMap
+import Std.Data.HashSet
 
 namespace Day8