fix formatting

runtimeverification · Oct 30, 2024 · aedb339 · aedb339
1 parent 8834f60
commit aedb339
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/include/runtime/header.h b/include/runtime/header.h
@@ -48,9 +48,9 @@ void k_hash(block *, void *);
 bool hash_enter(void);
 void hash_exit(void);
 #ifdef __MACH__
-  //
-  //	thread_local disabled for Apple
-  //
+//
+//	thread_local disabled for Apple
+//
 extern bool gc_enabled;
 #else
 extern thread_local bool gc_enabled;

diff --git a/runtime/alloc/arena.cpp b/runtime/alloc/arena.cpp
@@ -150,9 +150,9 @@ static void fresh_block(struct arena *arena) {
 }
 
 #ifdef __MACH__
-  //
-  //	thread_local disabled for Apple
-  //
+//
+//	thread_local disabled for Apple
+//
 bool gc_enabled = true;
 #else
 thread_local bool gc_enabled = true;

diff --git a/unittests/runtime-collections/lists.cpp b/unittests/runtime-collections/lists.cpp
@@ -63,9 +63,9 @@ block *DUMMY1 = &D1;
 }
 
 #ifdef __MACH__
-  //
-  //	thread_local disabled for Apple
-  //
+//
+//	thread_local disabled for Apple
+//
 bool gc_enabled;
 #else
 thread_local bool gc_enabled;