diff --git a/platform/mbed_lib.json b/platform/mbed_lib.json index 4f69cc366a..12481a5021 100644 --- a/platform/mbed_lib.json +++ b/platform/mbed_lib.json @@ -159,7 +159,7 @@ }, "minimal-printf-enable-floating-point": { "help": "Enable floating point printing when using minimal printf library", - "value": false + "value": true }, "minimal-printf-set-floating-point-max-decimals": { "help": "Maximum number of decimals to be printed when using minimal printf library",