From 616b4e7bd8cdd53012f10e6237de494a9178da99 Mon Sep 17 00:00:00 2001
From: Kevin Bracey <kevin.bracey@arm.com>
Date: Thu, 21 Nov 2019 09:51:24 +0200
Subject: [PATCH] Callback: Trivial default

Turn off `callback.non-trivial` by default to save ROM space.
---
 platform/mbed_lib.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/mbed_lib.json b/platform/mbed_lib.json
index 94fc4c79822..e8ee29336cd 100644
--- a/platform/mbed_lib.json
+++ b/platform/mbed_lib.json
@@ -125,7 +125,7 @@
         },
         "callback-nontrivial": {
             "help": "Enables support for non-trivial callable objects in Callback. Can be disabled to save ROM if no-one is using non-trivial types. Changing this value may cause incompatibility with pre-built binaries.",
-            "value": true
+            "value": false
         },
         "callback-comparable": {
             "help": "Enables support for comparing two Callbacks. See notes on operator== for limitations. Can be disabled to save ROM if not required.",