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 ecdad5fc8..be530a4b1 100644 --- a/include/pub_tool_tooliface.h +++ b/include/pub_tool_tooliface.h @@ -445,7 +445,7 @@ extern void VG_(needs_xml_output)( void ); /* Part of the core from which this call was made. Useful for determining what kind of error message should be emitted. */ typedef - enum { Vg_CoreStartup, Vg_CorePThread, Vg_CoreSignal, Vg_CoreSysCall, + enum { Vg_CoreStartup, Vg_CoreSignal, Vg_CoreSysCall, Vg_CoreTranslate, Vg_CoreClientReq } CorePart; |