Fix enumeration of forest trusts from our root domain.
[ira/wip.git] / examples / printing / VampireDriversFunctions
index ea0cf4729542b5fb3496376c0419f649d7db354d..3d46411e91d837b6474a6d80e213ff6df54ad505 100644 (file)
@@ -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,
@@ -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/>.
 ##
 ######################################################################