diff options
Diffstat (limited to 'tools/standalone_miri/hir_sim.cpp')
| -rw-r--r-- | tools/standalone_miri/hir_sim.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/standalone_miri/hir_sim.cpp b/tools/standalone_miri/hir_sim.cpp index 7fccc806..c4232343 100644 --- a/tools/standalone_miri/hir_sim.cpp +++ b/tools/standalone_miri/hir_sim.cpp @@ -14,7 +14,6 @@ const size_t POINTER_SIZE = 8; size_t HIR::TypeRef::get_size(size_t ofs) const { - const size_t POINTER_SIZE = 8; if( this->wrappers.size() <= ofs ) { switch(this->inner_type) |