1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00

Merge pull request #10263 from gebart/sys/ps-rm-xtimer

sys/ps: Remove unused include xtimer.h
This commit is contained in:
Martine Lenders 2018-10-26 10:24:59 +02:00 committed by GitHub
commit effd0c85a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,10 +22,6 @@
#include "thread.h"
#include "kernel_types.h"
#ifdef MODULE_SCHEDSTATISTICS
#include "xtimer.h"
#endif
#ifdef MODULE_TLSF_MALLOC
#include "tlsf.h"
#include "tlsf-malloc.h"