diff options
Diffstat (limited to 'mixguile/mixguile_main.c')
| -rw-r--r-- | mixguile/mixguile_main.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/mixguile/mixguile_main.c b/mixguile/mixguile_main.c index fca0664..c230131 100644 --- a/mixguile/mixguile_main.c +++ b/mixguile/mixguile_main.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixguile_main.c : * Main function for mixguile, the MIX Guile shell * ------------------------------------------------------------------ - * $Id: mixguile_main.c,v 1.4 2001/09/24 23:28:03 jao Exp $ + * $Id: mixguile_main.c,v 1.5 2001/09/28 23:10:45 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -53,7 +53,6 @@ main (int argc, char *argv[]) mix_vm_cmd_dispatcher_t *dis; int c; - const char *prog_name = argv[0]; gboolean initfile = TRUE; setlocale (LC_ALL, ""); @@ -74,9 +73,7 @@ main (int argc, char *argv[]) switch (c) { case VER_OPT: - fprintf (stderr, _("%s %s, Scheme MIX Virtual Machine.\n"), - prog_name, VERSION); - fprintf (stderr, MIX_GPL_LICENSE); + mix_print_license ("mixguile, Scheme MIX Virtual Machine"); return EXIT_SUCCESS; case NOINIT_OPT: initfile = FALSE; |