diff options
-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 { |