X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads-model.h;h=690d19d5268a88a295095d5221fa67c6ecd8a63c;hb=HEAD;hp=37ab6c9e1c56efc7fb880109e91126c858e16f67;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/threads-model.h b/threads-model.h
index 37ab6c9..690d19d 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -48,7 +48,7 @@ typedef enum thread_state {
 
 /** @brief A Thread is created for each user-space thread */
 class Thread {
- public:
+public:
 	Thread(thread_id_t tid);
 	Thread(thread_id_t tid, thrd_t *t, void (*func)(void *), void *a, Thread *parent, EPRecord *r);
 	~Thread();
@@ -98,7 +98,7 @@ class Thread {
 		Thread_free(p);
 	}
 	EPRecord * getParentRecord() {return parentrecord;}
- private:
+private:
 	int create_context();
 
 	/** @brief The parent Thread which created this Thread */
@@ -144,4 +144,4 @@ static inline int id_to_int(thread_id_t id)
 	return id;
 }
 
-#endif /* __THREADS_MODEL_H__ */
+#endif/* __THREADS_MODEL_H__ */