about summary refs log tree commit diff
path: root/rt/timer_delete.c
diff options
context:
space:
mode:
Diffstat (limited to 'rt/timer_delete.c')
-rw-r--r--rt/timer_delete.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/rt/timer_delete.c b/rt/timer_delete.c
index 80fb3fc5da..cf2c9b6bf7 100644
--- a/rt/timer_delete.c
+++ b/rt/timer_delete.c
@@ -26,4 +26,3 @@ timer_delete (timer_t timerid)
   return -1;
 }
 stub_warning (timer_delete)
-#include <stub-tag.h>