Rename fletch -> dartino

platforms/stm/disco_dartino/src/uart.h

 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file
 // 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).
 class Uart {
  public:
   // Access the UART on the first UART port.
   Uart();
 
   // Start processing the UART.
   void Start();
@@ skipping 21 matching lines @@
   UART_HandleTypeDef* uart_;
   int error_count_;
   osSemaphoreDef(semaphore_def_);
   osSemaphoreId(semaphore_);
 
   // Receive status.
   uint8_t rx_data_;  // The one byte received at the time.
   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_;
 
   friend void __UartTask(const void*);
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_UART_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_UART_H_