Index: src/debug.h |
diff --git a/src/debug.h b/src/debug.h |
index c295df2654bcf1b30c878d8a900386ba7becd430..4e7194bc032b30421570f2590e35411355f53858 100644 |
--- a/src/debug.h |
+++ b/src/debug.h |
@@ -699,6 +699,7 @@ class DebugScope BASE_EMBEDDED { |
int break_id_; // Previous break id. |
bool failed_; // Did the debug context fail to load? |
SaveContext save_; // Saves previous context. |
+ PostponeInterruptsScope no_termination_exceptons_; |
}; |