Now returns true if the file could be opened

diff --git a/src/xbt/random.cpp b/src/xbt/random.cpp
index 004418e..539340b 100644 (file)
--- a/src/xbt/random.cpp
+++ b/src/xbt/random.cpp
@@ -36,7 +36,7 @@ bool Random::write_state(std::string filename)
   std::ofstream file(filename);
   if (file) {
     file << mt19937_gen;
   std::ofstream file(filename);
   if (file) {
     file << mt19937_gen;

-    return false;
+    return true;

   } else {
     XBT_WARN("Could not open %s and thus not read the RNG state.", filename.c_str());
     return false;
   } else {
     XBT_WARN("Could not open %s and thus not read the RNG state.", filename.c_str());
     return false;