diff --git a/src/library/module.cpp b/src/library/module.cpp
index 85db48cf59..bddb4ee971 100644
--- a/src/library/module.cpp
+++ b/src/library/module.cpp
@@ -287,6 +287,8 @@ static olean_data parse_olean(std::istream & in, std::string const & file_name,
     return { imports, code };
 }
 
+using modification_list = std::vector<modification*>;
+
 static void import_module(modification_list const & modifications, environment & env) {
     for (auto & m : modifications) {
         m->perform(env);
diff --git a/src/library/module.h b/src/library/module.h
index 4ba2b5ad93..3295abc304 100644
--- a/src/library/module.h
+++ b/src/library/module.h
@@ -29,17 +29,6 @@ environment import_modules(unsigned trust_lvl, std::vector<module_name> const &
 /** \brief Store module using \c env. */
 void write_module(environment const & env, module_name const & mod, std::string const & olean_fn);
 
-struct modification;
-
-using modification_list = std::vector<modification*>;
-
-/** \brief A finished module. The in-memory representation of a .olean file. */
-struct loaded_module {
-    module_name m_name; // not serialized
-    std::vector<module_name> m_imports;
-    modification_list m_modifications;
-};
-
 struct modification {
 public:
     virtual ~modification() {}