diff options
Diffstat (limited to 'maccaml/misc.c')
-rw-r--r-- | maccaml/misc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/maccaml/misc.c b/maccaml/misc.c index 8f2c09872..9f437545d 100644 --- a/maccaml/misc.c +++ b/maccaml/misc.c @@ -5,7 +5,8 @@ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ /* Copyright 1998 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. */ /* */ /***********************************************************************/ |