Rename fletch -> dartino

platforms/stm/disco_fletch/src/cmpctmalloc.h

Index: platforms/stm/disco_fletch/src/cmpctmalloc.h
diff --git a/platforms/stm/disco_fletch/src/cmpctmalloc.h b/platforms/stm/disco_fletch/src/cmpctmalloc.h
deleted file mode 100644
index fcf08296030ac185e40f5a870d418042d2e02d52..0000000000000000000000000000000000000000
--- a/platforms/stm/disco_fletch/src/cmpctmalloc.h
+++ /dev/null
@@ -1,28 +0,0 @@
-// 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_CMPCTMALLOC_H_
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_CMPCTMALLOC_H_
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-#include <stddef.h>
-
-void *cmpct_alloc(size_t size);
-void *cmpct_realloc(void *ptr, size_t size);
-void cmpct_free(void *ptr);
-void *cmpct_memalign(size_t size, size_t alignment);
-
-void cmpct_init(void);
-void cmpct_dump(void);
-void cmpct_test(void);
-void cmpct_trim(void);
-
-#ifdef __cplusplus
-}
-#endif
-
-#endif  // PLATFORMS_STM_DISCO_FLETCH_SRC_CMPCTMALLOC_H_