Index: src/isolate.h |
diff --git a/src/isolate.h b/src/isolate.h |
index 927ad0e0fbd2f72c1ca68e8acf99b597ac02124c..9e0293d210f04bc532e3a04c98d04470721d2917 100644 |
--- a/src/isolate.h |
+++ b/src/isolate.h |
@@ -783,6 +783,7 @@ class Isolate { |
// Out of resource exception helpers. |
Failure* StackOverflow(); |
Failure* TerminateExecution(); |
+ void CancelTerminateExecution(); |
// Administration |
void Iterate(ObjectVisitor* v); |