summaryrefslogtreecommitdiff
path: root/examples/printing/VampireDriversFunctions
diff options
context:
space:
mode:
Diffstat (limited to 'examples/printing/VampireDriversFunctions')
-rw-r--r--examples/printing/VampireDriversFunctions3
1 files changed, 1 insertions, 2 deletions
diff --git a/examples/printing/VampireDriversFunctions b/examples/printing/VampireDriversFunctions
index ec00d21bb2..3d46411e91 100644
--- a/examples/printing/VampireDriversFunctions
+++ b/examples/printing/VampireDriversFunctions
@@ -17,8 +17,7 @@
## GNU General Public License for more details.
##
## You should have received a copy of the GNU General Public License
-## along with this program; if not, write to the Free Software
-## Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+## along with this program; if not, see <http://www.gnu.org/licenses/>.
##
######################################################################