From 427037a5a6c89215ff86c006e94e460d81258691 Mon Sep 17 00:00:00 2001 From: i-ky Date: Tue, 7 Mar 2023 23:06:38 +0200 Subject: [PATCH] Remove header that is not needed any more --- src/basset.cpp | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/basset.cpp b/src/basset.cpp index 7e010be..7041f0c 100644 --- a/src/basset.cpp +++ b/src/basset.cpp @@ -7,11 +7,6 @@ #include #include -#include - -#undef PTRACE_CONT -#undef PTRACE_DETACH -#undef PTRACE_SEIZE #include #include