src/devices/wifi/mac-parameters.cc
changeset 1974 0d6b3bead74a
parent 1964 041240a915f8
child 1977 4303409f3d8e
--- a/src/devices/wifi/mac-parameters.cc	Tue Oct 16 15:43:26 2007 +0200
+++ b/src/devices/wifi/mac-parameters.cc	Tue Oct 16 15:57:45 2007 +0200
@@ -19,7 +19,7 @@
  * Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
  */
 
-#include <cassert>
+#include "ns3/assert.h"
 #include "mac-parameters.h"
 #include "wifi-default-parameters.h"
 
@@ -125,7 +125,7 @@
 uint32_t 
 MacParameters::GetFragmentationThreshold (void) const
 {
-  assert (GetMaxMsduSize () / 16 < m_fragmentationThreshold);
+  NS_ASSERT (GetMaxMsduSize () / 16 < m_fragmentationThreshold);
   return m_fragmentationThreshold;
 }
 Time