From 14469c7229ec42a399a2c1efc9011f3666db9dbe Mon Sep 17 00:00:00 2001 From: davidemazzocchi Date: Tue, 11 Nov 2025 07:51:51 +0100 Subject: [PATCH] chore: add a space for convenient jumping --- 01.workspace/heave/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/01.workspace/heave/src/lib.rs b/01.workspace/heave/src/lib.rs index 7c971f4..d93610b 100644 --- a/01.workspace/heave/src/lib.rs +++ b/01.workspace/heave/src/lib.rs @@ -175,6 +175,7 @@ //! Ok(()) //! } //! ``` + use std::*; mod fun;