X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flibpspp%2Fmodel-checker.c;h=b42f1e532409363c004da7d794b6f0eb8fcce641;hb=cecaf561d11939de82a6598324376b8cf8225fd5;hp=cd83b39926ba02b8b124d314ab4f5cefdcf2ff52;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index cd83b39926..b42f1e5324 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -890,7 +890,7 @@ struct mc
     /* Information for handling and restoring SIGINT. */
     bool interrupted;                   /* SIGINT received? */
     bool *saved_interrupted_ptr;        /* Saved value of interrupted_ptr. */
-    sighandler_t saved_sigint;          /* Saved SIGINT handler. */
+    void (*saved_sigint) (int);         /* Saved SIGINT handler. */
   };
 
 /* A state in the queue. */