diff options
Diffstat (limited to 'pmt/src/lib/pmt_pool.cc')
-rw-r--r-- | pmt/src/lib/pmt_pool.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pmt/src/lib/pmt_pool.cc b/pmt/src/lib/pmt_pool.cc index 16ab9c61e..8f1329a7e 100644 --- a/pmt/src/lib/pmt_pool.cc +++ b/pmt/src/lib/pmt_pool.cc @@ -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, |