Index: platforms/stm/disco_dartino/src/page_allocator.cc |
diff --git a/platforms/stm/disco_fletch/src/page_allocator.cc b/platforms/stm/disco_dartino/src/page_allocator.cc |
similarity index 97% |
rename from platforms/stm/disco_fletch/src/page_allocator.cc |
rename to platforms/stm/disco_dartino/src/page_allocator.cc |
index 81ed4c59a583f410fa21290805e4c7d2e271df28..2cbc7efa6c33b44723a919d1c19ab7f8881717d9 100644 |
--- a/platforms/stm/disco_fletch/src/page_allocator.cc |
+++ b/platforms/stm/disco_dartino/src/page_allocator.cc |
@@ -2,7 +2,7 @@ |
// 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. |
-#include "platforms/stm/disco_fletch/src/page_allocator.h" |
+#include "platforms/stm/disco_dartino/src/page_allocator.h" |
#include "src/shared/assert.h" |