Rename fletch -> dartino

platforms/stm/disco_dartino/src/uart.h

Index: platforms/stm/disco_dartino/src/uart.h
diff --git a/platforms/stm/disco_fletch/src/uart.h b/platforms/stm/disco_dartino/src/uart.h
similarity index 85%
rename from platforms/stm/disco_fletch/src/uart.h
rename to platforms/stm/disco_dartino/src/uart.h
index ff5df58952292f106e2eab5b3707514d5ca7721e..1333a432fc51da5d41e0748df61734cea1c47d23 100644
--- a/platforms/stm/disco_fletch/src/uart.h
+++ b/platforms/stm/disco_dartino/src/uart.h
@@ -2,15 +2,15 @@
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
-#ifndef PLATFORMS_STM_DISCO_FLETCH_SRC_UART_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_UART_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_UART_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_UART_H_
 
 #include <inttypes.h>
 
 #include <cmsis_os.h>
 #include <stm32f7xx_hal.h>
 
-#include "platforms/stm/disco_fletch/src/circular_buffer.h"
+#include "platforms/stm/disco_dartino/src/circular_buffer.h"
 
 // Interface to the universal asynchronous receiver/transmitter
 // (UART).
@@ -52,7 +52,7 @@ class Uart {
   CircularBuffer* rx_buffer_;
 
   // Transmit status.
-  fletch::Mutex* tx_mutex_;
+  dartino::Mutex* tx_mutex_;
   uint8_t tx_data_[kTxBlockSize];  // Buffer send to the HAL.
   bool tx_pending_;
   CircularBuffer* tx_buffer_;
@@ -60,4 +60,4 @@ class Uart {
   friend void __UartTask(const void*);
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_UART_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_UART_H_