diff options
Diffstat (limited to 'tools/standalone_miri/hir_sim.hpp')
-rw-r--r-- | tools/standalone_miri/hir_sim.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/hir_sim.hpp b/tools/standalone_miri/hir_sim.hpp index 1303f077..96887536 100644 --- a/tools/standalone_miri/hir_sim.hpp +++ b/tools/standalone_miri/hir_sim.hpp @@ -82,6 +82,7 @@ namespace HIR { /// Definition of a type struct TypeRef { + // Top to bottom list of wrappers (first entry is the outermost wrapper) ::std::vector<TypeWrapper> wrappers; RawType inner_type = RawType::Unit; const DataType* composite_type = nullptr; |