Skip to content

Commit

Permalink
Corrected minor typo
Browse files Browse the repository at this point in the history
  • Loading branch information
lemmy authored Nov 5, 2019
1 parent 3cd3e78 commit 91267b9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion specifications/PaxosHowToWinATuringAward/Paxos.tla
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ None == CHOOSE v : v \notin Ballot
(*************************************************************************)

(***************************************************************************)
(* We now define Message toe be the set of all possible messages that can *)
(* We now define Message to be the set of all possible messages that can *)
(* be sent in the algorithm. In TLA+, the expression *)
(* *)
(* (1) [type |-> "1a", bal |-> b] *)
Expand Down

0 comments on commit 91267b9

Please sign in to comment.