diff options
Diffstat (limited to 'stdlib/header.c')
| -rw-r--r-- | stdlib/header.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/stdlib/header.c b/stdlib/header.c index aba20e62a..1169a02a1 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -1,3 +1,16 @@ +/***********************************************************************/ +/* */ +/* Caml Special Light */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Automatique. Distributed only by permission. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + char * runtime_name = "cslrun"; char * errmsg = "Cannot exec cslrun.\n"; |