Fix two issues found by check_headers_and_includes.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13571

diff --git a/coregrind/pub_core_sigframe.h b/coregrind/pub_core_sigframe.h
index 194f666e8d98ae5f18d37a657d1d53dbc856445f..214a976717d01b8985abc789d0c8acd0f1c52916 100644 (file)
--- a/coregrind/pub_core_sigframe.h
+++ b/coregrind/pub_core_sigframe.h
@@ -33,7 +33,7 @@
 #define __PUB_CORE_SIGFRAME_H
 
 #include "pub_core_basics.h"     // VG_ macro
-#include "pub_tool_vki.h"        // vki_sigset_t et al.
+#include "pub_core_vki.h"        // vki_sigset_t et al.
 
 //--------------------------------------------------------------------
 // PURPOSE: This module creates and destroys signal delivery frames

diff --git a/coregrind/pub_core_signals.h b/coregrind/pub_core_signals.h
index 7560f5aeeaef9fd7fc90643eb2316bde97ab7221..b130bbcd9d48279f1d67d69fadd03b7a622379be 100644 (file)
--- a/coregrind/pub_core_signals.h
+++ b/coregrind/pub_core_signals.h
@@ -36,7 +36,7 @@
 //--------------------------------------------------------------------
 
 #include "pub_tool_signals.h"       // I want to get rid of this header...
-#include "pub_tool_vki.h"           // vki_sigset_t et al.
+#include "pub_core_vki.h"           // vki_sigset_t et al.
 
 /* Highest signal the kernel will let us use */
 extern Int VG_(max_signal);