--- a/src/devices/wifi/wifi-remote-station-manager.cc	Thu Oct 16 12:53:05 2008 +0200
+++ b/src/devices/wifi/wifi-remote-station-manager.cc	Fri Oct 17 10:35:14 2008 +0200
@@ -659,8 +659,7 @@
 uint32_t
 WifiRemoteStation::GetFragmentOffset (Ptr<const Packet> packet, uint32_t fragmentNumber)
 {
-  uint32_t nFragment = GetNFragments (packet);
-  NS_ASSERT (fragmentNumber < nFragment);
+  NS_ASSERT (fragmentNumber < GetNFragments (packet));
   uint32_t fragmentOffset = fragmentNumber * GetManager ()->GetFragmentationThreshold ();
   return fragmentOffset;
 }