diff options
Diffstat (limited to 'rt/timer_delete.c')
| -rw-r--r-- | rt/timer_delete.c | 1 |
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> |