Merged r10501:10505 from michaelld/omnithread into trunk. Moves omnithread header...

[debian/gnuradio] / pmt / src / lib / pmt_pool.h

diff --git a/pmt/src/lib/pmt_pool.h b/pmt/src/lib/pmt_pool.h
index 42276a14f0b1bc22e2667d7eeeb5aae9a13ba5bb..dd63d44a6c3ec283260a303e36fba5ce3dc04059 100644 (file)
--- a/pmt/src/lib/pmt_pool.h
+++ b/pmt/src/lib/pmt_pool.h
@@ -22,7 +22,7 @@
 #define INCLUDED_PMT_POOL_H
 
 #include <cstddef>
-#include <omnithread.h>
+#include <gnuradio/omnithread.h>
 #include <vector>
 
 /*!