diff options
Diffstat (limited to 'stdlib/Compflags')
| -rwxr-xr-x | stdlib/Compflags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags index 8578751c9..6ab038f44 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -1,7 +1,7 @@ #!/bin/sh ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # |