fix formatting

runtimeverification · Dec 6, 2024 · e47b8a9 · e47b8a9
1 parent a8a2890
commit e47b8a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/runtime/alloc.h b/include/runtime/alloc.h
@@ -15,7 +15,7 @@ extern "C" {
 
 char youngspace_collection_id(void);
 char oldspace_collection_id(void);
-  //size_t youngspace_size(void);
+//size_t youngspace_size(void);
 
 // allocates exactly requested bytes into the young generation
 void *kore_alloc(size_t requested);