diff --git a/src/storm/utility/SignalHandler.h b/src/storm/utility/SignalHandler.h
index 1050dfcad..bcae6d7ed 100644
--- a/src/storm/utility/SignalHandler.h
+++ b/src/storm/utility/SignalHandler.h
@@ -103,6 +103,12 @@ namespace storm {
                 int lastSignal;
             };
 
+
+            inline void resetTimeoutAlarm() {
+                SignalInformation::infos().setTerminate(false);
+                alarm(0);
+            }
+
             /*!
              * Check whether the program should terminate (due to some abort signal).
              *