diff options
| author | Marcus Müller <mmueller@gnuradio.org> | 2021-06-13 01:08:07 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2021-06-17 00:08:24 +0200 |
| commit | a4ce3630bd4c77dd6d3f9532ebb588f350b98ddf (patch) | |
| tree | e03d192854a5e5f4931cc8fd05a9eccfe9336c5a /gnuradio-runtime | |
| parent | a231df45e7bea4d05df96a2e9b4e8165f21b4e1d (diff) | |
pmt: remove unused <functional> include
Signed-off-by: Marcus Müller <mmueller@gnuradio.org>
Diffstat (limited to 'gnuradio-runtime')
| -rw-r--r-- | gnuradio-runtime/lib/pmt/pmt.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnuradio-runtime/lib/pmt/pmt.cc b/gnuradio-runtime/lib/pmt/pmt.cc index 93b001f0e1..d4ada683f9 100644 --- a/gnuradio-runtime/lib/pmt/pmt.cc +++ b/gnuradio-runtime/lib/pmt/pmt.cc @@ -18,7 +18,6 @@ #include <pmt/pmt_pool.h> #include <cstdio> #include <cstring> -#include <functional> #include <vector> namespace pmt { |