diff options
Diffstat (limited to 'src/timer.c')
| -rw-r--r-- | src/timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/timer.c b/src/timer.c index 573ed7b..5583cd3 100644 --- a/src/timer.c +++ b/src/timer.c @@ -208,7 +208,7 @@ void handle_timer() struct tcb *r = get_tcb(tid); if (!r || orphan(r)) { info("tcb %llu dead at timer\n", - (unsigned long long)tid); + (unsigned long long)tid); bkl_unlock(); return; } |