diff options
Diffstat (limited to 'gnuradio-runtime/lib/pmt/pmt_pool.cc')
| -rw-r--r-- | gnuradio-runtime/lib/pmt/pmt_pool.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnuradio-runtime/lib/pmt/pmt_pool.cc b/gnuradio-runtime/lib/pmt/pmt_pool.cc index 5bc957bf2c..0fee7f5605 100644 --- a/gnuradio-runtime/lib/pmt/pmt_pool.cc +++ b/gnuradio-runtime/lib/pmt/pmt_pool.cc @@ -13,8 +13,8 @@ #endif #include <pmt/pmt_pool.h> -#include <stdint.h> #include <algorithm> +#include <cstdint> namespace pmt { |