From 9681d80c37794d66fd8a171efb4b047306b937d3 Mon Sep 17 00:00:00 2001
From: Josh Blum
Date: Wed, 10 Oct 2012 21:59:43 -0700
Subject: remove unneeded include from install hdrs

---
 Theron                       | 2 +-
 include/gnuradio/block.hpp   | 1 -
 include/gnuradio/element.hpp | 1 -
 3 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/Theron b/Theron
index 6ba1e9c..a18a310 160000
--- a/Theron
+++ b/Theron
@@ -1 +1 @@
-Subproject commit 6ba1e9c4210dbde15107865cfc2c4e1d80913624
+Subproject commit a18a310781e736ccc3272a18c810275b24e27e90
diff --git a/include/gnuradio/block.hpp b/include/gnuradio/block.hpp
index da773fd..efa8b7f 100644
--- a/include/gnuradio/block.hpp
+++ b/include/gnuradio/block.hpp
@@ -20,7 +20,6 @@
 #include <gnuradio/element.hpp>
 #include <gnuradio/sbuffer.hpp>
 #include <gnuradio/tags.hpp>
-#include <gruel/pmt.h>
 #include <vector>
 #include <string>
 
diff --git a/include/gnuradio/element.hpp b/include/gnuradio/element.hpp
index 72927ca..abf0e34 100644
--- a/include/gnuradio/element.hpp
+++ b/include/gnuradio/element.hpp
@@ -21,7 +21,6 @@
 #include <gnuradio/io_signature.hpp>
 #include <boost/shared_ptr.hpp>
 #include <boost/enable_shared_from_this.hpp>
-#include <gruel/pmt.h>
 
 namespace gnuradio
 {
-- 
cgit