Index: platforms/stm/disco_dartino/src/page_allocator_test.cc |
diff --git a/platforms/stm/disco_fletch/src/page_allocator_test.cc b/platforms/stm/disco_dartino/src/page_allocator_test.cc |
similarity index 98% |
rename from platforms/stm/disco_fletch/src/page_allocator_test.cc |
rename to platforms/stm/disco_dartino/src/page_allocator_test.cc |
index 1f7f82a253086837dbdf1a693efdbe7e1f044814..07a95b9914973bef01ae5185681e2fc22a53d700 100644 |
--- a/platforms/stm/disco_fletch/src/page_allocator_test.cc |
+++ b/platforms/stm/disco_dartino/src/page_allocator_test.cc |
@@ -9,7 +9,7 @@ |
#include "src/shared/assert.h" |
#include "src/shared/atomic.h" |
-#include "platforms/stm/disco_fletch/src/page_allocator.h" |
+#include "platforms/stm/disco_dartino/src/page_allocator.h" |
void Test() { |
PageAllocator *allocator = new PageAllocator(); |