update

[l4.git] / kernel / fiasco / src / kern / ppc32 / thread-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/thread-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/thread-ppc32.cpp
index 63b0938c4c9f109f87706f11040d839e2fcbfb7a..3954f5baf178d5f8576e16e65fb81bb11149da64 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/thread-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/thread-ppc32.cpp
@@ -236,7 +236,7 @@ IMPLEMENTATION [ppc32]:
     @param id user-visible thread ID of the sender
     @param init_prio initial priority
     @param mcp thread's maximum controlled priority
-    @post state() != Thread_invalid
+    @post state() != 0
  */
 IMPLEMENT
 Thread::Thread()
@@ -246,7 +246,7 @@ Thread::Thread()
     _del_observer(0)
 {
 
-  assert(state(false) == Thread_invalid);
+  assert(state(false) == 0);
 
   inc_ref();
   _space.space(Kernel_task::kernel_task());