From e616def866da4192db237f3f9a9a1698cee7903e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 14 May 2019 07:51:44 -0700 Subject: [PATCH] chore(library/module): remove dead declaration --- src/library/module.cpp | 2 ++ src/library/module.h | 11 ----------- 2 files changed, 2 insertions(+), 11 deletions(-) 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; + 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 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; - -/** \brief A finished module. The in-memory representation of a .olean file. */ -struct loaded_module { - module_name m_name; // not serialized - std::vector m_imports; - modification_list m_modifications; -}; - struct modification { public: virtual ~modification() {}