diff options
Diffstat (limited to 'include/pub_tool_tooliface.h')
-rw-r--r-- | include/pub_tool_tooliface.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/pub_tool_tooliface.h b/include/pub_tool_tooliface.h index 2c4590626..5514080b0 100644 --- a/include/pub_tool_tooliface.h +++ b/include/pub_tool_tooliface.h @@ -235,7 +235,7 @@ extern void VG_(needs_client_requests) ( // corresponding post_ function had better free() it! extern void VG_(needs_syscall_wrapper) ( void (* pre_syscall)(ThreadId tid, UInt syscallno), - void (*post_syscall)(ThreadId tid, UInt syscallno, Int res) + void (*post_syscall)(ThreadId tid, UInt syscallno, SysRes res) ); /* Are tool-state sanity checks performed? */ |