From 611c369de1874950682501d4454cce3e73c4d6cd Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Fri, 29 Nov 2024 23:08:15 +0100 Subject: 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 --- Day8.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Day8.lean') 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 -- cgit v1.2.3