| 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();
|
|
|