X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=478c2fd515c6c1f9c2f6901460cb0e05d751ab2a;hb=a69031154612651d1fd7d9267b0bc47cc48dde73;hp=1be99732d7df6d002c6cbc8cfa705600729f7dc7;hpb=48ad6229d048c132839eb10b7b21b364e0d26817;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 1be99732..478c2fd5 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -88,7 +88,6 @@ main (int argc, char **argv)
   signal (SIGABRT, bug_handler);
   signal (SIGSEGV, bug_handler);
   signal (SIGFPE, bug_handler);
-  at_fatal_signal (clean_up);
 
   i18n_init ();
   fpu_init ();