Index: src/execution.h |
diff --git a/src/execution.h b/src/execution.h |
index 7c5c58533757d37e39d7aefb9de95973db83ca10..e9c6eb1a37b55d81b29925dde256fddd60c9b685 100644 |
--- a/src/execution.h |
+++ b/src/execution.h |
@@ -203,7 +203,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) { |