diff options
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; |