From: Florian Krohm <florian@eich-krohm.de>
Date: Thu, 19 Sep 2013 14:55:27 +0000 (+0000)
Subject: Fix two issues found by check_headers_and_includes.
X-Git-Tag: svn/VALGRIND_3_9_0~120
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c8b316f434d83538d9fc554251161306c01672b1;p=thirdparty%2Fvalgrind.git

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 194f666e8d..214a976717 100644
--- 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 7560f5aeea..b130bbcd9d 100644
--- 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);