diff options
author | Michael Dickens <michael.dickens@ettus.com> | 2019-09-24 09:47:02 -0400 |
---|---|---|
committer | Michael Dickens <michael.dickens@ettus.com> | 2019-09-24 09:48:54 -0400 |
commit | 05e629964117d6007a3a0d0c8670bcff923086d4 (patch) | |
tree | d09bf795241979de633481d913426b5e5725612f | |
parent | GRC: update cloned port's dtype (diff) | |
download | gnuradio-05e629964117d6007a3a0d0c8670bcff923086d4.tar.xz gnuradio-05e629964117d6007a3a0d0c8670bcff923086d4.zip |
gr::block_registry directly relies on gr::thread::mutex
#include the correct header; since we use protection macros
on every header, this addition won't hurt and might help.
-rw-r--r-- | gnuradio-runtime/include/gnuradio/block_registry.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/include/gnuradio/block_registry.h b/gnuradio-runtime/include/gnuradio/block_registry.h index 2f12a01bb..5050df8ce 100644 --- a/gnuradio-runtime/include/gnuradio/block_registry.h +++ b/gnuradio-runtime/include/gnuradio/block_registry.h @@ -25,6 +25,7 @@ #include <gnuradio/api.h> #include <gnuradio/basic_block.h> +#include <gnuradio/thread/thread.h> #include <map> namespace gr { |