Index: src/execution.h |
diff --git a/src/execution.h b/src/execution.h |
index 6d0b15f214762a65082492ad7fe7af826893dd15..8aaa7b42288993b3bc0279d3302c2bc0f8df5e0c 100644 |
--- a/src/execution.h |
+++ b/src/execution.h |
@@ -210,7 +210,6 @@ enum InterruptFlag { |
bool CheckInterrupt(int flagbit); |
void RequestInterrupt(int flagbit); |
void ClearInterrupt(int flagbit); |
- bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock); |
void InvokeApiInterruptCallback(); |