From 25aca9ab7a11e522931f909a4f5582a2dadc6fbb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 19 Jun 2012 16:22:43 +0200 Subject: [PATCH] Fix a few files that claimed to be distributed under GPLv3 by mistake. * src/eltlparse/Makefile.am, src/ltlvisit/randomltl.cc, src/ltlvisit/simplify.cc, src/ltlvisit/snf.cc, src/ltlvisit/snf.hh: Fix GPL to version 2 or later. --- src/eltlparse/Makefile.am | 2 +- src/ltlvisit/randomltl.cc | 2 +- src/ltlvisit/simplify.cc | 2 +- src/ltlvisit/snf.cc | 2 +- src/ltlvisit/snf.hh | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/eltlparse/Makefile.am b/src/eltlparse/Makefile.am index 5fc9ae4c0..1ae6add7b 100644 --- a/src/eltlparse/Makefile.am +++ b/src/eltlparse/Makefile.am @@ -5,7 +5,7 @@ ## ## Spot 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 3 of the License, or +## the Free Software Foundation; either version 2 of the License, or ## (at your option) any later version. ## ## Spot is distributed in the hope that it will be useful, but WITHOUT diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc index 66f321b6e..c849a0000 100644 --- a/src/ltlvisit/randomltl.cc +++ b/src/ltlvisit/randomltl.cc @@ -9,7 +9,7 @@ // // Spot 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 3 of the License, or +// the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc index 8172a9755..514e8f354 100644 --- a/src/ltlvisit/simplify.cc +++ b/src/ltlvisit/simplify.cc @@ -5,7 +5,7 @@ // // Spot 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 3 of the License, or +// the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT diff --git a/src/ltlvisit/snf.cc b/src/ltlvisit/snf.cc index 70c2d9a6c..57d6b16b8 100644 --- a/src/ltlvisit/snf.cc +++ b/src/ltlvisit/snf.cc @@ -6,7 +6,7 @@ // // Spot 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 3 of the License, or +// the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT diff --git a/src/ltlvisit/snf.hh b/src/ltlvisit/snf.hh index 895831b6a..f69bfb7ab 100644 --- a/src/ltlvisit/snf.hh +++ b/src/ltlvisit/snf.hh @@ -6,7 +6,7 @@ // // Spot 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 3 of the License, or +// the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT