diff options
Diffstat (limited to 'tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus')
| -rw-r--r-- | tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus b/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus index aad64397bb8c..a5ea3ed8f52e 100644 --- a/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus +++ b/tools/memory-model/litmus-tests/MP+polockonce+poacquiresilsil.litmus @@ -10,10 +10,7 @@ C MP+polockonce+poacquiresilsil * speaking). *) -{ - spinlock_t lo; - int x; -} +{} P0(spinlock_t *lo, int *x) // Producer { |