diff options
Diffstat (limited to 'maccaml/print.c')
| -rw-r--r-- | maccaml/print.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/maccaml/print.c b/maccaml/print.c index d7dbf5fa4..2a962587f 100644 --- a/maccaml/print.c +++ b/maccaml/print.c @@ -5,7 +5,8 @@ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ /* Copyright 1999 Institut National de Recherche en Informatique et */ -/* en Automatique. Distributed only by permission */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License. */ /* */ /***********************************************************************/ |