Rename fletch -> dartino

platforms/stm/disco_dartino/src/circular_buffer.h

Index: platforms/stm/disco_dartino/src/circular_buffer.h
diff --git a/platforms/stm/disco_fletch/src/circular_buffer.h b/platforms/stm/disco_dartino/src/circular_buffer.h
similarity index 85%
rename from platforms/stm/disco_fletch/src/circular_buffer.h
rename to platforms/stm/disco_dartino/src/circular_buffer.h
index b728a77813aacd83fec0fd6fe58d5f968bcbae99..ce4b0558fc6aca3caadd96c2e1ca2e8f482c9269 100755
--- a/platforms/stm/disco_fletch/src/circular_buffer.h
+++ b/platforms/stm/disco_dartino/src/circular_buffer.h
@@ -2,8 +2,8 @@
 // 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_CIRCULAR_BUFFER_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_CIRCULAR_BUFFER_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_CIRCULAR_BUFFER_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_CIRCULAR_BUFFER_H_
 
 #include <inttypes.h>
 #include <stdlib.h>
@@ -40,7 +40,7 @@ class CircularBuffer {
   size_t Write(const uint8_t* buffer, size_t count, Blocking block);
 
  private:
-  fletch::Monitor* monitor_;
+  dartino::Monitor* monitor_;
   int waiting_;
   uint8_t* buffer_;
   size_t capacity_;
@@ -48,4 +48,4 @@ class CircularBuffer {
   int tail_;
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_CIRCULAR_BUFFER_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_CIRCULAR_BUFFER_H_