diff -r 3a794ee1238f src/core/assert.h
--- a/src/core/assert.h	Mon May 31 22:23:54 2010 -0700
+++ b/src/core/assert.h	Tue Jun 01 16:06:56 2010 +1000
@@ -23,6 +23,7 @@
 #ifdef NS3_ASSERT_ENABLE
 
 #include <iostream>
+#include <exception>
 
 /**
  * \ingroup core
@@ -57,8 +58,7 @@
           std::cerr << "assert failed. file=" << __FILE__ <<    \
             ", line=" << __LINE__ << ", cond=\""#condition <<   \
             "\"" << std::endl;                                  \
-          int *a = 0;                                           \
-          *a = 0;                                               \
+          std::terminate ();                                    \
         }                                                       \
     }                                                           \
   while (false)
@@ -79,8 +79,7 @@
       if (!(condition))                         \
         {                                       \
           std::cerr << message << std::endl;    \
-          int *a = 0;                           \
-          *a = 0;                               \
+          std::terminate ();                    \
         }                                       \
     }                                           \
   while (false)