*
* GNU Radio is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2, or (at your option)
+ * the Free Software Foundation; either version 3, or (at your option)
* any later version.
*
* GNU Radio is distributed in the hope that it will be useful,
#define INCLUDED_GRI_LOGGER_H
#include <stddef.h>
-#include <omnithread.h>
+#include <gnuradio/omnithread.h>
#include <gr_buffer.h>
class gri_log_poster;