Rename fletch -> dartino

platforms/stm/disco_dartino/src/page_allocator.h

 // Copyright (c) 2016, 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_PAGE_ALLOCATOR_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_PAGE_ALLOCATOR_H_
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_
 
 #include <cinttypes>
 #include <cstdlib>
 #include <cstring>
 
-#include "platforms/stm/disco_fletch/src/globals.h"
+#include "platforms/stm/disco_dartino/src/globals.h"
 
 class PageAllocator {
  public:
   PageAllocator() { Initialize(); }
 
   void Initialize() {
     // The initialization must be simple, as it can be called early
     // during startup before the C++-runtime is fully initialized.
     memset(&arenas_, 0, kMaxArenas * sizeof(Arena));
   }
@@ skipping 38 matching lines @@
     const char* name_;
     size_t pages_;
     uint8_t* base_;
     uint8_t* map_;
   };
 
   static const int kMaxArenas = 3;
   Arena arenas_[kMaxArenas];
 };
 
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_PAGE_ALLOCATOR_H_
+#endif  // PLATFORMS_STM_DISCO_DARTINO_SRC_PAGE_ALLOCATOR_H_