Index: tools/stm/one-stm-lib.ar |
diff --git a/tools/stm/one-stm-lib.ar b/tools/stm/one-stm-lib.ar |
index 7d848cc1f290067e0ae60d7b045deefaac67178f..75f45fef50fed19b85c5d38e9e260901cb8d11b6 100644 |
--- a/tools/stm/one-stm-lib.ar |
+++ b/tools/stm/one-stm-lib.ar |
@@ -1,7 +1,7 @@ |
-CREATE libone_disco_fletch.a |
-ADDLIB libdisco_fletch.a |
-ADDLIB libfletch_vm_library.a |
-ADDLIB libfletch_shared.a |
+CREATE libone_disco_dartino.a |
+ADDLIB libdisco_dartino.a |
+ADDLIB libdartino_vm_library.a |
+ADDLIB libdartino_shared.a |
ADDLIB libdouble_conversion.a |
SAVE |
END |