diff options
| author | Andrej Rode <mail@andrejro.de> | 2018-08-22 22:58:55 +0200 |
|---|---|---|
| committer | Andrej Rode <mail@andrejro.de> | 2018-08-26 00:36:31 +0200 |
| commit | 890217f5b1420b3de96b381febf889fd403c210e (patch) | |
| tree | 035158462ec8d0d393db1773d4f0c681e57d568b /gnuradio-runtime/lib/pmt/pmt_int.h | |
| parent | f076b9089d6b69d6344b4a7e80051da4fc3a9f89 (diff) | |
pmt: replace file generation with pre-generated files
Diffstat (limited to 'gnuradio-runtime/lib/pmt/pmt_int.h')
| -rw-r--r-- | gnuradio-runtime/lib/pmt/pmt_int.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gnuradio-runtime/lib/pmt/pmt_int.h b/gnuradio-runtime/lib/pmt/pmt_int.h index f06f507944..ead058598d 100644 --- a/gnuradio-runtime/lib/pmt/pmt_int.h +++ b/gnuradio-runtime/lib/pmt/pmt_int.h @@ -242,9 +242,6 @@ public: virtual size_t itemsize() const = 0; virtual const std::string string_ref(size_t k) const { return std::string("not implemented"); } }; - -#include "pmt_unv_int.h" - } /* namespace pmt */ #endif /* INCLUDED_PMT_INT_H */ |