change system file

hc

2024-10-09 244b2c5ca8b14627e4a17755e5922221e121c771

 kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus
..
..
@@ -1,7 +1,7 @@
1
1
 C MP+poonceonces
2
2
 
3
3
 (*
4
- * Result: Maybe
4
+ * Result: Sometimes
5
5
  *
6
6
  * Can the counter-intuitive message-passing outcome be prevented with
7
7
  * no ordering at all?