diff --git a/src/devices/wifi/wifi-remote-station-manager.cc b/src/devices/wifi/wifi-remote-station-manager.cc index a2855e3a5..9744587d5 100644 --- a/src/devices/wifi/wifi-remote-station-manager.cc +++ b/src/devices/wifi/wifi-remote-station-manager.cc @@ -659,8 +659,7 @@ WifiRemoteStation::GetFragmentSize (Ptr packet, uint32_t fragmentN uint32_t WifiRemoteStation::GetFragmentOffset (Ptr 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; }