use auto when initializing header from cast

runtimeverification · Dec 3, 2024 · d23fd35 · d23fd35
1 parent e27ec1b
commit d23fd35
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/runtime/alloc/arena.cpp b/runtime/alloc/arena.cpp
@@ -56,8 +56,7 @@ void arena::initialize_semispace() {
   //	We put a memory_block_header at the beginning so we can identify the semispace a pointer belongs to
   //	id by masking off the low bits to access this memory_block_header.
   //
-  memory_block_header *header
-      = reinterpret_cast<memory_block_header *>(current_addr_ptr);
+  auto *header = reinterpret_cast<memory_block_header *>(current_addr_ptr);
   header->semispace = allocation_semispace_id;
   allocation_ptr = current_addr_ptr + sizeof(arena::memory_block_header);
   //