From f57cc80ecc15ba7ee08c74eb0b0c9fb276374421 Mon Sep 17 00:00:00 2001
From: Vincent Coubard <vincent.coubard@arm.com>
Date: Tue, 20 Jun 2017 14:20:38 +0100
Subject: [PATCH] event: Make the event queue non copyable.

---
 events/EventQueue.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/events/EventQueue.h b/events/EventQueue.h
index 709479255a..9b15edb6fa 100644
--- a/events/EventQueue.h
+++ b/events/EventQueue.h
@@ -19,6 +19,7 @@
 
 #include "equeue/equeue.h"
 #include "platform/Callback.h"
+#include "platform/NonCopyable.h"
 #include <cstddef>
 #include <new>
 
@@ -47,7 +48,7 @@ class Event;
  *  Flexible event queue for dispatching events
  * @ingroup events
  */
-class EventQueue {
+class EventQueue : private mbed::NonCopyable<EventQueue> {
 public:
     /** Create an EventQueue
      *