Rename fletch -> dartino

platforms/stm/disco_dartino/src/cmpctmalloc_test.cc

Index: platforms/stm/disco_dartino/src/cmpctmalloc_test.cc
diff --git a/platforms/stm/disco_fletch/src/cmpctmalloc_test.cc b/platforms/stm/disco_dartino/src/cmpctmalloc_test.cc
similarity index 91%
rename from platforms/stm/disco_fletch/src/cmpctmalloc_test.cc
rename to platforms/stm/disco_dartino/src/cmpctmalloc_test.cc
index 90b9eb6caa9543394160817f74b018c8777a56cc..eaa47bb4c5b5af8cd35e7d27026fe5a75bcda7b1 100644
--- a/platforms/stm/disco_fletch/src/cmpctmalloc_test.cc
+++ b/platforms/stm/disco_dartino/src/cmpctmalloc_test.cc
@@ -8,8 +8,8 @@
 #define TESTING
 #include "src/shared/assert.h"
 
-#include "platforms/stm/disco_fletch/src/cmpctmalloc.h"
-#include "platforms/stm/disco_fletch/src/page_allocator.h"
+#include "platforms/stm/disco_dartino/src/cmpctmalloc.h"
+#include "platforms/stm/disco_dartino/src/page_allocator.h"
 
 PageAllocator* page_allocator;
 
@@ -45,7 +45,7 @@ int main(int argc, char **argv) {
   EXPECT_EQ(1, arena1_bitmap);
 
   cmpct_test_buckets();
-#ifdef FLETCH_TARGET_OS_LK
+#ifdef DARTINO_TARGET_OS_LK
   // TODO(sgjesse): This test crashes.
   cmpct_test_get_back_newly_freed();
 #endif