From 22c0e3560b7ebcad1de4d9a4125e3c1753a67700 Mon Sep 17 00:00:00 2001
From: micromint <support@micromint.com>
Date: Mon, 21 Nov 2016 12:59:45 -0400
Subject: [PATCH] Support building mbed_critical.c with C++ compiler

---
 platform/mbed_critical.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/platform/mbed_critical.c b/platform/mbed_critical.c
index a81680e922..844efb1512 100644
--- a/platform/mbed_critical.c
+++ b/platform/mbed_critical.c
@@ -15,6 +15,8 @@
  * limitations under the License.
  */
 
+/* Declare __STDC_LIMIT_MACROS so stdint.h defines UINT32_MAX when using C++ */
+#define __STDC_LIMIT_MACROS
 #include "platform/critical.h"
 
 #include "cmsis.h"