diff options
| author | John Hodge (Mutabah) <acessdev@gmail.com> | 2018-02-11 15:33:08 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-11 15:33:08 +0800 |
| commit | 6caf5739a97774b2602106e616db75e8a0ad5f8a (patch) | |
| tree | 9d16f869bbff27743fe7c233fba9c4665a4d9138 /tools/standalone_miri/module_tree.hpp | |
| parent | 9e864a5d3ea05706ea6c7f68e47d32629a2c877e (diff) | |
| parent | 3718f8cb7ee7b8c93e4d69b9aa2e00b4f50efd62 (diff) | |
| download | mrust-6caf5739a97774b2602106e616db75e8a0ad5f8a.tar.gz | |
Merge pull request #52 from thepowersgang/common_layout
Merge "common_layout" branch
Diffstat (limited to 'tools/standalone_miri/module_tree.hpp')
| -rw-r--r-- | tools/standalone_miri/module_tree.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/standalone_miri/module_tree.hpp b/tools/standalone_miri/module_tree.hpp index ecc19625..ce831621 100644 --- a/tools/standalone_miri/module_tree.hpp +++ b/tools/standalone_miri/module_tree.hpp @@ -5,6 +5,7 @@ #include <string> #include <vector> #include <map> +#include <set> #include "../../src/mir/mir.hpp" #include "hir_sim.hpp" @@ -21,6 +22,8 @@ class ModuleTree { friend struct Parser; + ::std::set<::std::string> loaded_files; + ::std::map<::HIR::Path, Function> functions; // Hack: Tuples are stored as `::""::<A,B,C,...>` ::std::map<::HIR::GenericPath, ::std::unique_ptr<DataType>> data_types; |