summaryrefslogtreecommitdiff
path: root/examples/printing
diff options
context:
space:
mode:
Diffstat (limited to 'examples/printing')
-rw-r--r--examples/printing/VampireDriversFunctions2
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,