summary refs log tree commit diff
path: root/misc/ptrace.c
diff options
context:
space:
mode:
Diffstat (limited to 'misc/ptrace.c')
-rw-r--r--misc/ptrace.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/misc/ptrace.c b/misc/ptrace.c
index a70f1952bc..4f600d89fc 100644
--- a/misc/ptrace.c
+++ b/misc/ptrace.c
@@ -99,4 +99,3 @@ ptrace (request)
 
 
 stub_warning (ptrace)
-#include <stub-tag.h>