diff options
Diffstat (limited to 'examples/printing')
| -rw-r--r-- | examples/printing/VampireDriversFunctions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/printing/VampireDriversFunctions b/examples/printing/VampireDriversFunctions index ea0cf47295..ec00d21bb2 100644 --- a/examples/printing/VampireDriversFunctions +++ b/examples/printing/VampireDriversFunctions @@ -8,7 +8,7 @@ ## ## This program 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 of the License, or +## the Free Software Foundation; either version 3 of the License, or ## (at your option) any later version. ## ## This program is distributed in the hope that it will be useful, |