Fix missing parenthesis.

tlaplus · Sep 16, 2024 · 36406d2 · 36406d2
1 parent ff64e51
commit 36406d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specifications/Disruptor/Disruptor_MPMC.tla b/specifications/Disruptor/Disruptor_MPMC.tla
@@ -1,5 +1,5 @@
 --------------------------- MODULE Disruptor_MPMC --------------------------
-***************************************************************************)
+(***************************************************************************)
 (* Models a Multi Producer, Multi Consumer Disruptor (MPMC).               *)
 (*                                                                         *)
 (* The producers publish their claimed sequence number as value into       *)