Remove header that is not needed any more

i-ky · Mar 7, 2023 · 427037a · 427037a
1 parent 65947b6
commit 427037a
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/basset.cpp b/src/basset.cpp
@@ -7,11 +7,6 @@
 #include <sys/wait.h>
 
 #include <linux/limits.h>
-#include <linux/ptrace.h>
-
-#undef PTRACE_CONT
-#undef PTRACE_DETACH
-#undef PTRACE_SEIZE
 
 #include <fstream>
 #include <iostream>