From 4760a128152b4d6e581a73b7a5a3d25b07c22cb2 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 1 Oct 2020 00:23:47 -0700
Subject: [PATCH] reset signal handler

---
 src/storm/utility/SignalHandler.h | 6 ++++++
 1 file changed, 6 insertions(+)

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).
              *