Index: kernel/generic/include/udebug/udebug.h
===================================================================
--- kernel/generic/include/udebug/udebug.h	(revision 8d2760fe0365099552ec91e6cee8c5bbd55ed273)
+++ kernel/generic/include/udebug/udebug.h	(revision f0c9aff01d81837d08318925aeba53a675fd1af9)
@@ -178,7 +178,7 @@
 	/** What type of event are we stopped in or 0 if none. */
 	udebug_event_t cur_event;
-	bool go;	   /**< thread is GO */
-	bool stoppable;	   /**< thread is stoppable */
-	bool debug_active; /**< thread is in a debugging session */
+	bool go;		/**< thread is GO */
+	bool stoppable;		/**< thread is stoppable */
+	bool active;		/**< thread is in a debugging session */
 } udebug_thread_t;