remove import from Lake test

leanprover · May 7, 2024 · 62adf98 · 62adf98
1 parent 147cac0
commit 62adf98
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lake/tests/toml/Test.lean b/src/lake/tests/toml/Test.lean
@@ -5,7 +5,6 @@ Authors: Mac Malone
 -/
 import Lake.Toml
 import Lake.Util.Message
-import Lake.Util.Newline
 
 /-!
 ## TOML Test Runner