| 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) {
 | 
| 
 |