diff -rupN ns-allinone-3.22/ns-3.22/src/wimax/model/ss-net-device.cc ns-allinone-3.22-modified/ns-3.22/src/wimax/model/ss-net-device.cc --- ns-allinone-3.22/ns-3.22/src/wimax/model/ss-net-device.cc 2015-02-06 00:46:23.000000000 +0100 +++ ns-allinone-3.22-modified/ns-3.22/src/wimax/model/ss-net-device.cc 2015-04-20 17:02:46.816142186 +0200 @@ -922,7 +922,7 @@ SubscriberStationNetDevice::DoReceive (P // intended for base station, ignore break; case ManagementMessageType::MESSAGE_TYPE_RNG_RSP: - NS_ASSERT_MSG (SS_STATE_WAITING_RNG_RSP, + NS_ASSERT_MSG (GetState() == SS_STATE_WAITING_RNG_RSP, "SS: Error while receiving a ranging response message: SS state should be SS_STATE_WAITING_RNG_RSP"); packet->RemoveHeader (rngrsp); m_linkManager->PerformRanging (cid, rngrsp); @@ -941,7 +941,7 @@ SubscriberStationNetDevice::DoReceive (P // intended for base station, ignore break; case ManagementMessageType::MESSAGE_TYPE_RNG_RSP: - NS_ASSERT_MSG (SS_STATE_WAITING_RNG_RSP, + NS_ASSERT_MSG (GetState() == SS_STATE_WAITING_RNG_RSP, "SS: Error while receiving a ranging response message: SS state should be SS_STATE_WAITING_RNG_RSP"); packet->RemoveHeader (rngrsp); m_linkManager->PerformRanging (cid, rngrsp);