fix indentation + spacing, esp. for MEMALLOC macro
[model-checker.git] / threads.h
index 57319067b4adb74255435cb721d723650900153c..ebe33a3631d3e6815b33ed12b1e47ba972f1a8b1 100644 (file)
--- a/threads.h
+++ b/threads.h
@@ -30,8 +30,10 @@ public:
        thread_id_t get_id();
        thrd_t get_thrd_t() { return *user_thread; }
        Thread * get_parent() { return parent; }
-  friend void thread_startup();
-  MEMALLOC
+
+       friend void thread_startup();
+
+       MEMALLOC
 private:
        int create_context();
        Thread *parent;