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
