diff --git a/proost/src/evaluator.rs b/proost/src/evaluator.rs
index eba1b9164e9f10c44cc23b88c222476540a4c6a8..3d8c99d81a0988d74cc3f04c9784c293601b836a 100644
--- a/proost/src/evaluator.rs
+++ b/proost/src/evaluator.rs
@@ -5,7 +5,8 @@ use std::path::PathBuf;
 use colored::Colorize;
 use derive_more::Display;
 use kernel::location::Location;
-use kernel::term::arena::{Arena, Term};
+use kernel::memory::term::Term;
+use kernel::memory::arena::Arena;
 use parser::command::Command;
 use parser::{parse_file, parse_line};
 use path_absolutize::Absolutize;
diff --git a/proost/src/main.rs b/proost/src/main.rs
index 08d25afb5df78176cb6d5141b283148c7cec9b35..cd141e105e4d3de53cd58323073adda478549de5 100644
--- a/proost/src/main.rs
+++ b/proost/src/main.rs
@@ -53,7 +53,7 @@ fn main() -> Result<'static, ()> {
     rl.bind_sequence(KeyEvent::from('\t'), EventHandler::Conditional(Box::new(TabEventHandler)));
     rl.bind_sequence(KeyEvent(KeyCode::Enter, Modifiers::ALT), EventHandler::Simple(Cmd::Newline));
 
-    kernel::term::arena::use_arena(|arena| {
+    kernel::memory::arena::use_arena(|arena| {
         let current_path = current_dir()?;
         let mut evaluator = Evaluator::new(current_path, args.verbose);