summaryrefslogtreecommitdiff
path: root/pmt/src
diff options
context:
space:
mode:
authorjcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5>2009-02-25 19:04:35 +0000
committerjcorgan <jcorgan@221aa14e-8319-0410-a670-987f0aec2ac5>2009-02-25 19:04:35 +0000
commitc48f42b58c67eefd19ea1a803329bcf62eac06e9 (patch)
treed03af64023553b5f340ae676a918793e2ab39068 /pmt/src
parent203024bad3191ea14eff902549e6b4d95e08e43c (diff)
Merged r10501:10505 from michaelld/omnithread into trunk. Moves omnithread header files into /gnuradio. Trunk passes distcheck.
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@10506 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'pmt/src')
-rw-r--r--pmt/src/lib/pmt_pool.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/pmt/src/lib/pmt_pool.h b/pmt/src/lib/pmt_pool.h
index 42276a14f0..dd63d44a6c 100644
--- 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>
/*!