diff --git a/stuff/debug.hh b/stuff/debug.hh
index efc171d77ca805a61bf1c307df27e23da23dc82a..2f02b2596bf6529698c129cfba3da451eb730898 100644
--- a/stuff/debug.hh
+++ b/stuff/debug.hh
@@ -66,6 +66,15 @@ public:
     : std::runtime_error(msg){};
 };
 
+namespace Stuff {
+class singlerun_abort_exception : public std::runtime_error
+{
+public:
+  singlerun_abort_exception(std::string msg)
+    : std::runtime_error(msg){};
+};
+}
+
 #ifndef NDEBUG
 #define ASSERT_EXCEPTION(cond, msg)                                                                                    \
   if (!(cond)) {                                                                                                       \