diff --git a/ports/src/noux/shared_pointer.h b/ports/src/noux/shared_pointer.h
index 4f4ec8e35..85aedb656 100644
--- a/ports/src/noux/shared_pointer.h
+++ b/ports/src/noux/shared_pointer.h
@@ -145,6 +145,12 @@ namespace Noux {
 			T const* operator -> () const { return _ptr; }
 
 			operator bool () const { return _ptr != 0; }
+
+			template<typename To>
+			Shared_pointer<To> dynamic_pointer_cast()
+			{
+				return Shared_pointer<To>(dynamic_cast<To *>(_ptr), _alloc);
+			}
 	};
 }