diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-07-14 17:53:53 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-07-14 17:53:53 +0800 |
| commit | 0d5fe417e6ff1806987f77c97b0841b0b600cde0 (patch) | |
| tree | bf8ee10c655858254e7905ef943178988f7bc50a /tools/standalone_miri/module_tree.hpp | |
| parent | bee6b04dc12e50a33eb382b2c12276b91ae32493 (diff) | |
| download | mrust-0d5fe417e6ff1806987f77c97b0841b0b600cde0.tar.gz | |
standalone_miri - Fix after MIR refactor
Diffstat (limited to 'tools/standalone_miri/module_tree.hpp')
| -rw-r--r-- | tools/standalone_miri/module_tree.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/module_tree.hpp b/tools/standalone_miri/module_tree.hpp index efa0a034..653104df 100644 --- a/tools/standalone_miri/module_tree.hpp +++ b/tools/standalone_miri/module_tree.hpp @@ -11,6 +11,7 @@ #include <map> #include <set> +#include "../../src/include/rc_string.hpp" #include "../../src/mir/mir.hpp" #include "hir_sim.hpp" #include "value.hpp" |