src/core/random-variable.cc
changeset 1020 ebcb38b7ff7d
parent 942 b65368bf40f9
child 1806 34e115600ef2
--- a/src/core/random-variable.cc	Thu Aug 02 14:47:51 2007 +0100
+++ b/src/core/random-variable.cc	Thu Aug 02 14:48:36 2007 +0100
@@ -108,8 +108,8 @@
 {
   if (RandomVariable::globalSeedSet)
     {
-      cout << "Random number generator already initialized!" << endl;
-      cout << "Call to RandomVariable::UseGlobalSeed() ignored" << endl;
+      cerr << "Random number generator already initialized!" << endl;
+      cerr << "Call to RandomVariable::UseGlobalSeed() ignored" << endl;
       return;
     }
   RandomVariable::globalSeed[0] = s0;
@@ -537,7 +537,7 @@
       ValueCDF& current = emp[i];
       if (current.value < prior.value || current.cdf < prior.cdf)
         { // Error
-          cout << "Empirical Dist error,"
+          cerr << "Empirical Dist error,"
                << " current value " << current.value
                << " prior value "   << prior.value
                << " current cdf "   << current.cdf