Rename fletch -> dartino

src/shared/platform_lk.h

Index: src/shared/platform_lk.h
diff --git a/src/shared/platform_lk.h b/src/shared/platform_lk.h
index 405edce8422f2b40569210b967359d96331f7b80..bc8193003227b5f15e5b3867d4ba88736710f73d 100644
--- a/src/shared/platform_lk.h
+++ b/src/shared/platform_lk.h
@@ -9,7 +9,7 @@
 #error Do not include platform_lk.h directly; use platform.h instead.
 #endif
 
-#if defined(FLETCH_TARGET_OS_LK)
+#if defined(DARTINO_TARGET_OS_LK)
 
 #include <err.h>
 #include <kernel/thread.h>
@@ -30,7 +30,7 @@
     }                                 \
   }
 
-namespace fletch {
+namespace dartino {
 
 // Forward declare [Platform::GetMicroseconds].
 namespace Platform {
@@ -187,8 +187,8 @@ class MonitorImpl {
   WaitListEntry* last_waiting_;
 };
 
-}  // namespace fletch
+}  // namespace dartino
 
-#endif  // defined(FLETCH_TARGET_OS_LK)
+#endif  // defined(DARTINO_TARGET_OS_LK)
 
 #endif  // SRC_SHARED_PLATFORM_LK_H_