Index: src/execution.h |
diff --git a/src/execution.h b/src/execution.h |
index 9f2763733cc33168fd8ca0b8feee5944b6f1e3fc..9599a029b657ff5d22a1d0cceb86f84e041fd889 100644 |
--- a/src/execution.h |
+++ b/src/execution.h |
@@ -206,7 +206,7 @@ enum InterruptFlag { |
bool CheckInterrupt(int flagbit); |
void RequestInterrupt(int flagbit); |
void ClearInterrupt(int flagbit); |
- bool CheckAndClearInterrupt(InterruptFlag flag, const ExecutionAccess& lock); |
+ bool CheckAndClearInterrupt(InterruptFlag flag); |
// You should hold the ExecutionAccess lock when calling this method. |
bool has_pending_interrupts(const ExecutionAccess& lock) { |