src/simulator/nstime.h
changeset 2921 8a616a8b723a
parent 2451 8979f07befd5
child 2972 d76553495b91
--- a/src/simulator/nstime.h	Wed Apr 16 10:52:38 2008 -0700
+++ b/src/simulator/nstime.h	Thu Apr 17 17:19:24 2008 +0100
@@ -274,6 +274,7 @@
 template <int N1, int N2>
 TimeUnit<N1-N2> operator / (TimeUnit<N1> const &lhs, TimeUnit<N2> const &rhs)
 {
+  NS_ASSERT (rhs.GetHighPrecision ().GetDouble () != 0);
   HighPrecision retval = lhs.GetHighPrecision ();
   retval.Div (rhs.GetHighPrecision ());
   return TimeUnit<N1-N2> (retval);