diff --git a/repos/base/src/lib/base/child.cc b/repos/base/src/lib/base/child.cc index afb8452ff9..cc8daf4ee0 100644 --- a/repos/base/src/lib/base/child.cc +++ b/repos/base/src/lib/base/child.cc @@ -784,6 +784,8 @@ Child::~Child() _discard_env_session(Env::cpu()); _discard_env_session(Env::pd()); _discard_env_session(Env::log()); + _discard_env_session(Env::binary()); + _discard_env_session(Env::linker()); /* * Remove dynamically created sessions from the child's ID space.