--- a/src/devices/csma-cd/csma-cd-channel.cc	Wed Aug 08 21:17:48 2007 +0100
+++ b/src/devices/csma-cd/csma-cd-channel.cc	Wed Aug 08 14:19:56 2007 -0700
@@ -267,7 +267,6 @@
             m_currentPkt.GetUid () << ")");
 
   NS_ASSERT(m_state == PROPAGATING);
-  m_state = IDLE;
 
   NS_DEBUG ("CsmaCdChannel::PropagationCompleteEvent (): Receive");
   
@@ -279,6 +278,7 @@
         it->devicePtr->Receive (m_currentPkt);
       }
     }
+  m_state = IDLE;
 }