FIX part of #2301, and #1619

[ghc-hetmet.git] / rts / RtsSignals.h

diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h
index 721561e..77f2224 100644 (file)
--- a/rts/RtsSignals.h
+++ b/rts/RtsSignals.h
@@ -40,6 +40,7 @@ extern void initUserSignals(void);
  * Ctrl+C handler that shuts down the RTS in an orderly manner.
  */
 extern void initDefaultHandlers(void);
+extern void resetDefaultHandlers(void);
 
 extern void freeSignalHandlers(void);