Index: platforms/stm/disco_dartino/src/cmpctmalloc.h |
diff --git a/platforms/stm/disco_fletch/src/cmpctmalloc.h b/platforms/stm/disco_dartino/src/cmpctmalloc.h |
similarity index 77% |
rename from platforms/stm/disco_fletch/src/cmpctmalloc.h |
rename to platforms/stm/disco_dartino/src/cmpctmalloc.h |
index fcf08296030ac185e40f5a870d418042d2e02d52..a12875d4fb6d2aa53991a40504f03e5eaa1118f0 100644 |
--- a/platforms/stm/disco_fletch/src/cmpctmalloc.h |
+++ b/platforms/stm/disco_dartino/src/cmpctmalloc.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_CMPCTMALLOC_H_ |
-#define PLATFORMS_STM_DISCO_FLETCH_SRC_CMPCTMALLOC_H_ |
+#ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_CMPCTMALLOC_H_ |
+#define PLATFORMS_STM_DISCO_DARTINO_SRC_CMPCTMALLOC_H_ |
#ifdef __cplusplus |
extern "C" { |
@@ -25,4 +25,4 @@ void cmpct_trim(void); |
} |
#endif |
-#endif // PLATFORMS_STM_DISCO_FLETCH_SRC_CMPCTMALLOC_H_ |
+#endif // PLATFORMS_STM_DISCO_DARTINO_SRC_CMPCTMALLOC_H_ |