diff options
Diffstat (limited to 'otherlibs/labltk/compiler/pplex.mll')
| -rw-r--r-- | otherlibs/labltk/compiler/pplex.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/compiler/pplex.mll b/otherlibs/labltk/compiler/pplex.mll index 313d1f2dd..6559d8e94 100644 --- a/otherlibs/labltk/compiler/pplex.mll +++ b/otherlibs/labltk/compiler/pplex.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file ../LICENSE. *) +(* described in file ../../../LICENSE. *) (* *) (***********************************************************************) |