Update test/tla/Bug2750.cfg

Co-authored-by: Thomas Pani <thomas@informal.systems>
apalache-mc · Oct 17, 2023 · fb952ff · fb952ff
1 parent 4e41ba5
commit fb952ff
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/test/tla/Bug2750.cfg b/test/tla/Bug2750.cfg
@@ -4,6 +4,4 @@ CONSTANTS
     Producers = {p1,p2}
     Consumers = {c1,c2}
     BufCapacity = 1
-\* generate dot file: add "-dump dot trans.dot" to TLC options
-\* (=> extension settings)
 INVARIANT Inv