[PATCH -perfbook] CodeSamples/formal/herd: Fix comment format in initialization

In initialization of litmus tests, comments should be "(* ... *)".
Fix it.

Fixes: 915807a52e21 ("together/applyrcu: Use \clnref{} and its friends in Section 13.5.9")
Signed-off-by: Akira Yokosawa <[email protected]>
---
 .../C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus b/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
index 73859c24..86ea5553 100644
--- a/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
+++ b/CodeSamples/formal/herd/C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul.litmus
@@ -5,7 +5,7 @@ C C-MP+o-xchg-rcusync-o+o-xchg-rcusync-o+rl-o-o-rul
 	int a=1;
 	int b;
 	int c;
-	int *p=a;			//\lnlbl[init:p]
+	int *p=a;			(* \lnlbl[init:p] *)
 }
 
 P0(int *a, int *b, int *c, int **p)

base-commit: ef86afaddd2705ea45124c967ec1ec046eaba4fc
-- 
2.43.0