test the pdf generation

oxarbitrage · Oct 25, 2024 · 0796b23 · 0796b23
1 parent 9141077
commit 0796b23
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Operators.tla b/Operators.tla
@@ -1,4 +1,8 @@
 ---- MODULE Operators ----
+(*****************************************************************************)
+(* This module defines comment operations that can be applied to the network *)
+(* by the p2p algorithm.                                                     *)
+(*****************************************************************************)
 LOCAL INSTANCE Integers
 LOCAL INSTANCE Sequences
 LOCAL INSTANCE Utils