fix formatting

runtimeverification · Dec 9, 2024 · 8c627bc · 8c627bc
1 parent 52e182e
commit 8c627bc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/runtime/alloc/arena.cpp b/runtime/alloc/arena.cpp
@@ -7,8 +7,8 @@
 
 #include "runtime/alloc.h"
 #include "runtime/arena.h"
-#include "runtime/header.h"
 #include "runtime/collect.h"
+#include "runtime/header.h"
 
 extern size_t const VAR_BLOCK_SIZE = BLOCK_SIZE;
 

diff --git a/runtime/collect/collect.cpp b/runtime/collect/collect.cpp
@@ -12,7 +12,7 @@
 extern "C" {
 extern thread_local arena youngspace;
 extern thread_local arena oldspace;
- 
+
 char *youngspace_ptr(void);
 char *oldspace_ptr(void);