bug 61: warning must be fatal.
--- a/src/core/random-variable.cc Mon Jun 09 08:53:47 2008 -0700
+++ b/src/core/random-variable.cc Mon Jun 09 11:39:29 2008 -0700
@@ -156,9 +156,8 @@
{
if (RandomVariableBase::globalSeedSet)
{
- cerr << "Random number generator already initialized!" << endl;
- cerr << "Call to RandomVariableBase::UseGlobalSeed() ignored" << endl;
- return;
+ NS_FATAL_ERROR ("Random number generator already initialized! "
+ "Call to RandomVariableBase::UseGlobalSeed() ignored");
}
RandomVariableBase::globalSeed[0] = s0;
RandomVariableBase::globalSeed[1] = s1;