Index: src/tools/driver/platform.h |
diff --git a/src/tools/driver/platform.h b/src/tools/driver/platform.h |
index 216db1547b0d1f25667ac95edb5e8b0bb5420e6e..8fffed9ba847e12b2950bb243ba503452809ffb9 100644 |
--- a/src/tools/driver/platform.h |
+++ b/src/tools/driver/platform.h |
@@ -5,7 +5,7 @@ |
#ifndef SRC_TOOLS_DRIVER_PLATFORM_H_ |
#define SRC_TOOLS_DRIVER_PLATFORM_H_ |
-namespace fletch { |
+namespace dartino { |
// Create a file descriptor from which signals can be read. The file descriptor |
// can be used with select, and signal numbers can be read using 'ReadSignal'. |
@@ -18,6 +18,6 @@ int ReadSignal(int fd); |
// 'Process.exitCode' in 'dart:io'. |
void Exit(int exit_code); |
-} // namespace fletch |
+} // namespace dartino |
#endif // SRC_TOOLS_DRIVER_PLATFORM_H_ |