ugly double blank line, my fault

diff --git a/servers/pm/forkexit.c b/servers/pm/forkexit.c
index 72266c745f3e3a5d8f793ee96859b5ba9d6c8464..bc57d80efe52aaee32a2ff075134f09c1ff344b2 100644 (file)
--- a/servers/pm/forkexit.c
+++ b/servers/pm/forkexit.c
@@ -291,7 +291,6 @@ int dump_core;                      /* flag indicating whether to dump core */
        panic(__FILE__, "exit_proc: FS died", r);
   }
 
-
   /* Tell FS about the exiting process. */
   m.m_type = dump_core ? PM_DUMPCORE : PM_EXIT;
   m.PM_PROC = rmp->mp_endpoint;