1 files changed, 1 insertions, 3 deletions
diff --git a/gdb/umax-xdep.c b/gdb/umax-xdep.c
index 75e088ce967..b8a3deb163b 100644
--- a/gdb/umax-xdep.c
+++ b/gdb/umax-xdep.c
@@ -40,9 +40,7 @@
    This code would be in corefile.c if it weren't machine-dependent. */
 
 void
-core_file_command (filename, from_tty)
-     char *filename;
-     int from_tty;
+core_file_command (char *filename, int from_tty)
 {
   int val;