Index: src/execution.h |
diff --git a/src/execution.h b/src/execution.h |
index 6d0b15f214762a65082492ad7fe7af826893dd15..563c496eb0594447b8929fd440019050dd307ae6 100644 |
--- a/src/execution.h |
+++ b/src/execution.h |
@@ -212,8 +212,6 @@ enum InterruptFlag { |
void ClearInterrupt(int flagbit); |
bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock); |
- void InvokeApiInterruptCallback(); |
- |
// You should hold the ExecutionAccess lock when calling this method. |
bool has_pending_interrupts(const ExecutionAccess& lock) { |
// Sanity check: We shouldn't be asking about pending interrupts |