From d9fbcc46311dae2961221f02f3187fe2113c9506 Mon Sep 17 00:00:00 2001 From: Wolfgang Bumiller Date: Tue, 8 Jan 2019 14:11:08 +0100 Subject: [PATCH] tools/timer: fixup doc formatting Signed-off-by: Wolfgang Bumiller --- src/tools/timer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/timer.rs b/src/tools/timer.rs index cf01b204..2601884a 100644 --- a/src/tools/timer.rs +++ b/src/tools/timer.rs @@ -52,7 +52,7 @@ pub enum TimerEvent { ThreadSignal(Tid, Signal), /// Convenience value to send a signal to the current thread. This is - /// equivalent to using ThreadSignal(gettid(), signal). + /// equivalent to using `ThreadSignal(gettid(), signal)`. ThisThreadSignal(Signal), }