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 --- Day14.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Day14.lean') diff --git a/Day14.lean b/Day14.lean index ad87e68..a7d2279 100644 --- a/Day14.lean +++ b/Day14.lean @@ -1,6 +1,6 @@ import «Common» -import Lean.Data.HashMap -import Lean.Data.HashSet +import Std.Data.HashMap +import Std.Data.HashSet namespace Day14 -- cgit v1.2.3