diff options
Diffstat (limited to 'gnuradio-runtime/lib/pagesize.cc')
| -rw-r--r-- | gnuradio-runtime/lib/pagesize.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnuradio-runtime/lib/pagesize.cc b/gnuradio-runtime/lib/pagesize.cc index abc26ba077..8c3191fdb0 100644 --- a/gnuradio-runtime/lib/pagesize.cc +++ b/gnuradio-runtime/lib/pagesize.cc @@ -14,6 +14,7 @@ #include <gnuradio/logger.h> #include <gnuradio/prefs.h> +#include <boost/format.hpp> #include "pagesize.h" #include <unistd.h> |