Remove static from REGISTER_ARENA

runtimeverification · Dec 9, 2024 · 52e182e · 52e182e
1 parent 7ecb011
commit 52e182e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/runtime/arena.h b/include/runtime/arena.h
@@ -134,7 +134,7 @@ inline char arena::get_arena_semispace_id_of_object(void *ptr) {
 
 // Macro to define a new arena with the given ID. Supports IDs ranging from 0 to
 // 127.
-#define REGISTER_ARENA(name, id) static thread_local arena name(id)
+#define REGISTER_ARENA(name, id) thread_local arena name(id)
 
 #ifdef __MACH__
 //