Updated license from GPL version 2 or later to GPL version 3 or later.

[debian/gnuradio] / pmt / src / lib / pmt_pool.h

diff --git a/pmt/src/lib/pmt_pool.h b/pmt/src/lib/pmt_pool.h
index fd9cc063868e8ba397137d8bc9b79cb71e4f7ebc..ac0c07bb61fb9d3c2ff72ea6a5853b3e9771c39e 100644 (file)
--- a/pmt/src/lib/pmt_pool.h
+++ b/pmt/src/lib/pmt_pool.h
@@ -6,7 +6,7 @@
  * 
  * 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,