1 files changed, 2 insertions, 2 deletions
diff --git a/tools/standalone_miri/debug.hpp b/tools/standalone_miri/debug.hpp
index 5afad96e..f7d32fe5 100644
--- a/tools/standalone_miri/debug.hpp
+++ b/tools/standalone_miri/debug.hpp
@@ -75,14 +75,14 @@ FunctionTrace<T,U> FunctionTrace_d(const char* fname, const char* file, unsigned
 struct DebugExceptionTodo:
     public ::std::exception
 {
-    const char* what() const {
+    const char* what() const noexcept override {
         return "TODO hit";
     }
 };
 struct DebugExceptionError:
     public ::std::exception
 {
-    const char* what() const {
+    const char* what() const noexcept override {
         return "error";
     }
 };