From 3a408eb85a4fd9fcc6f48260ca37e0616080b64c Mon Sep 17 00:00:00 2001
From: paul-szczepanek-arm
 <33840200+paul-szczepanek-arm@users.noreply.github.com>
Date: Thu, 4 Oct 2018 15:51:01 +0100
Subject: [PATCH] fix missing namespace mbed

---
 platform/SharedPtr.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platform/SharedPtr.h b/platform/SharedPtr.h
index d6bbac8138..de8759bd0f 100644
--- a/platform/SharedPtr.h
+++ b/platform/SharedPtr.h
@@ -24,6 +24,8 @@
 
 #include "platform/mbed_critical.h"
 
+namespace mbed {
+
 /** Shared pointer class.
   *
   * A shared pointer is a "smart" pointer that retains ownership of an object using
@@ -285,4 +287,6 @@ bool operator!= (U lhs, const SharedPtr<T> &rhs)
     return ((T *) lhs != rhs.get());
 }
 
+} /* namespace mbed */
+
 #endif // __SHAREDPTR_H__