Index: src/shared/random.h |
diff --git a/src/shared/random.h b/src/shared/random.h |
index 044c9f337de9e7bcf737e70f7dab4d3aa077223f..2bf82f62dffbc33aea60c47de7b2de848546b635 100644 |
--- a/src/shared/random.h |
+++ b/src/shared/random.h |
@@ -7,7 +7,7 @@ |
#include "src/shared/globals.h" |
-namespace fletch { |
+namespace dartino { |
// This class implements Xorshift+ |
// |
@@ -43,6 +43,6 @@ class RandomXorShift { |
uint64 s1_; |
}; |
-} // namespace fletch |
+} // namespace dartino |
#endif // SRC_SHARED_RANDOM_H_ |