Rename fletch -> dartino

platforms/stm/disco_dartino/src/circular_buffer.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_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>
 
 #include "src/shared/platform.h"
 
 #define MIN(a, b) ((a) < (b) ? (a) : (b))
 
 // Circular buffer holding bytes.
 class CircularBuffer {
@@ skipping 16 matching lines @@
 
   // Read up to count bytes into buffer. If block is kBlock the call
   // will not return until at least one byte is read.
   size_t Read(uint8_t* buffer, size_t count, Blocking block);
 
   // Write up to count bytes from buffer. If block is kBlock the call
   // will not return until at least one byte is written.
   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_;
   int head_;
   int tail_;
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_CIRCULAR_BUFFER_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_CIRCULAR_BUFFER_H_