1.1 --- a/src/devices/wifi/wifi-remote-station-manager.cc	Mon May 04 18:35:43 2009 +0100
     1.2 +++ b/src/devices/wifi/wifi-remote-station-manager.cc	Tue May 05 13:20:06 2009 +0100
     1.3 @@ -659,8 +659,10 @@
     1.4  uint32_t
     1.5  WifiRemoteStation::GetFragmentOffset (Ptr<const Packet> packet, uint32_t fragmentNumber)
     1.6  {
     1.7 +#ifdef NS3_ASSERT_ENABLE
     1.8    uint32_t nFragment = GetNFragments (packet);
     1.9    NS_ASSERT (fragmentNumber < nFragment);
    1.10 +#endif
    1.11    uint32_t fragmentOffset = fragmentNumber * GetManager ()->GetFragmentationThreshold ();
    1.12    return fragmentOffset;
    1.13  }