# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 726402136 0
# Node ID 69e337909652ae0f7ec3437b930ca74d5c1a6e36
# Parent  bc25cbeb27c0dd27e1d20c83034f338f97220c35
(unexec): Don't call exit, just return.

diff -r bc25cbeb27c0 -r 69e337909652 src/unexhp9k800.c
--- a/src/unexhp9k800.c	Thu Jan 07 10:18:46 1993 +0000
+++ b/src/unexhp9k800.c	Thu Jan 07 10:22:16 1993 +0000
@@ -107,7 +107,7 @@
   /* Close the binary file */
   close(old);
   close(new);
-  exit(0);
+  return 0;
 }
 
 /* Save current data space in the file, update header.  */