Formerly file.c.~13~

diff --git a/file.c b/file.c
index 56b99127c3ba6d3d19b4e610fc64bf2cfd231cab..85a967b73a05a3eecc314e5b1a134f8b6b9765d6 100644 (file)
--- a/file.c
+++ b/file.c
@@ -450,8 +450,7 @@ print_file_data_base ()
                    }
                  break;
                default:
-                 puts ("#  Invalid value in `command_state
-' member!");
+                 puts ("#  Invalid value in `command_state' member!");
                  fflush (stdout);
                  fflush (stderr);
                  abort ();