]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/l4re/fd_names.cpp
update
[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / coregrind / l4re / fd_names.cpp
index e663924f052429e6bf6a518f0933c5616c143f98..e426d39864f71a14d74e8269d16d6f7968de3123 100644 (file)
@@ -14,7 +14,6 @@ __BEGIN_DECLS
 #include "pub_tool_libcbase.h"
 #include "pub_tool_libcfile.h"
 #include "pub_core_libcprint.h"
-#include "pub_core_vki.h"
 #include "l4re_helper.h"
 __END_DECLS