X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=4c216030726516b2d51a538b6a6e4f0f0266db67;hb=c87fb686f323f651a1d3f3892c31bf66788916d9;hp=b0582c1b297a5e28bf298be6471869acbf95a9b8;hpb=721f67e477ee5050961020ed5afd8e0daf42bf2d;p=pspp

diff --git a/src/main.c b/src/main.c
index b0582c1b29..4c21603072 100644
--- a/src/main.c
+++ b/src/main.c
@@ -56,13 +56,6 @@ void bug_handler(int sig);
    we hit end-of-file unexpectedly (or whatever). */
 int start_interactive;
 
-/* Initialise error handling on the gsl library */
-static void 
-err_handler_gsl (const char *reason, const char *file,
-	int line, int gsl_errno UNUSED)
-{
-  msg(FE, _("gsl error at %s:%d; reason: \"%s\""), file,line,reason);
-}
 
 /* Program entry point. */
 int
@@ -70,7 +63,7 @@ main (int argc, char **argv)
 {
   signal (SIGSEGV, bug_handler);
 
-  gsl_set_error_handler(err_handler_gsl);
+  gsl_set_error_handler_off();
 
   /* Initialization. */
   if (!outp_init ())