src/node/ipv4-route.cc
changeset 286 57e6a2006962
parent 236 5673656dc2e7
child 1428 a8f3d01d4a2c
--- a/src/node/ipv4-route.cc	Fri Feb 16 09:42:53 2007 +0100
+++ b/src/node/ipv4-route.cc	Fri Feb 16 09:56:21 2007 +0100
@@ -20,7 +20,7 @@
  */
 
 #include "ipv4-route.h"
-#include <cassert>
+#include "ns3/assert.h"
 
 namespace ns3 {
 
@@ -180,7 +180,7 @@
 {
   if (route.IsDefault ())
     {
-      assert (route.IsGateway ());
+      NS_ASSERT (route.IsGateway ());
       os << "default out=" << route.GetInterface () << ", next hop=" << route.GetGateway ();
     }
   else if (route.IsHost ())
@@ -215,7 +215,7 @@
     }
   else
     {
-      assert (false);
+      NS_ASSERT (false);
     }
   return os;
 }