diff options
Diffstat (limited to 'yacc/main.c')
| -rw-r--r-- | yacc/main.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/yacc/main.c b/yacc/main.c index feb2dbdac..8616b9b3d 100644 --- a/yacc/main.c +++ b/yacc/main.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ @@ -188,7 +188,7 @@ void getargs(int argc, char **argv) case 'v': if (!strcmp (argv[i], "-version")){ - printf ("The Objective Caml parser generator, version " + printf ("The OCaml parser generator, version " OCAML_VERSION "\n"); exit (0); }else if (!strcmp (argv[i], "-vnum")){ |