diff --git a/kernel/src/memory/declaration/builder.rs b/kernel/src/memory/declaration/builder.rs
index 6d11c6b6b8804b2f545eda29ae16bcceb45e653e..b62f12bcc041e859efe7d61453eab7c51458c37c 100644
--- a/kernel/src/memory/declaration/builder.rs
+++ b/kernel/src/memory/declaration/builder.rs
@@ -10,11 +10,11 @@
 
 use derive_more::Display;
 
-use super::super::arena::Arena;
-use super::super::level::builder as level;
-use super::super::term::builder as term;
 use super::{Declaration, InstantiatedDeclaration};
 use crate::error::{Error, Result, ResultDecl, ResultInstantiatedDecl};
+use crate::memory::arena::Arena;
+use crate::memory::level::builder as level;
+use crate::memory::term::builder as term;
 
 #[non_exhaustive]
 #[derive(Clone, Debug, Display, Eq, PartialEq)]