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