schedule_rbed.c: move include of timer.h so that simulator compiles release2011-11-10
authorKornilios Kourtis <kkourt@inf.ethz.ch>
Wed, 9 Nov 2011 10:38:16 +0000 (11:38 +0100)
committerKornilios Kourtis <kkourt@inf.ethz.ch>
Wed, 9 Nov 2011 10:38:16 +0000 (11:38 +0100)
commit8543c5051d686fcafa46833bfa0c083b5c579a37
treed953bee3902a7618aceac12fd977db30933cd56c
parent09a41b3af4116441ce03537bff03049fc6506646
schedule_rbed.c: move include of timer.h so that simulator compiles
kernel/schedule_rbed.c