Skip to content

Commit d84af6b

Browse files
will62794will62794
committed
Remove old text
1 parent 597d1f0 commit d84af6b

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎specs/TwoPhase.tla‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
------------------------------- MODULE TwoPhase -----------------------------
2-
\* benchmark: tla-twophase
32
EXTENDS TLC, Naturals
43

54
(***************************************************************************)

0 commit comments

Comments
 (0)