From 2d012e1df8d800e87e244ea04e43c29c0672fd07 Mon Sep 17 00:00:00 2001
From: Avi Kivity <avi@cloudius-systems.com>
Date: Tue, 30 Sep 2014 19:10:34 +0300
Subject: [PATCH] queue: switch to circular_buffer

---
 core/queue.hh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/core/queue.hh b/core/queue.hh
index 6a719f14f4..c9bc0e28b3 100644
--- a/core/queue.hh
+++ b/core/queue.hh
@@ -5,12 +5,13 @@
 #ifndef QUEUE_HH_
 #define QUEUE_HH_
 
+#include "circular_buffer.hh"
 #include <queue>
 #include <experimental/optional>
 
 template <typename T>
 class queue {
-    std::queue<T> _q;
+    std::queue<T, circular_buffer<T>> _q;
     size_t _max;
     std::experimental::optional<promise<>> _not_empty;
     std::experimental::optional<promise<>> _not_full;