# HG changeset patch
# User jwe
# Date 820035501 0
# Node ID e7b6c2cd9bac50f8d06a1433cdad409a3c383d07
# Parent  6e8ac624ed9b25d1bfaee191ef438896a9997317
[project @ 1995-12-27 03:38:21 by jwe]

diff --git a/src/octave.cc b/src/octave.cc
--- a/src/octave.cc
+++ b/src/octave.cc
@@ -764,9 +764,6 @@
 
   // Allow the user to interrupt us without exiting.
 
-  volatile sig_handler *saved_sigint_handler
-    = octave_set_signal_handler (SIGINT, SIG_IGN);
-
   if (setjmp (toplevel) != 0)
     {
       raw_mode (0);