|
From: <sv...@va...> - 2015-04-18 17:41:38
|
Author: florian
Date: Sat Apr 18 18:41:31 2015
New Revision: 15110
Log:
Fix a comment.
Modified:
trunk/coregrind/pub_core_threadstate.h
Modified: trunk/coregrind/pub_core_threadstate.h
==============================================================================
--- trunk/coregrind/pub_core_threadstate.h (original)
+++ trunk/coregrind/pub_core_threadstate.h Sat Apr 18 18:41:31 2015
@@ -42,7 +42,7 @@
#include "pub_tool_threadstate.h"
#include "pub_core_libcsetjmp.h" // VG_MINIMAL_JMP_BUF
#include "pub_core_vki.h" // vki_sigset_t
-#include "pub_core_guest.h" // VexGuestAMD64State etc.
+#include "pub_core_guest.h" // VexGuestArchState
#include "libvex.h" // LibVEX_N_SPILL_BYTES
|