Fix typo in Sets:Mapping example

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

Closed erlingrj closed 3 years ago

erlingrj commented 3 years ago

Disclaimer: I am learning TLA+ and PlusCal with this great tutorial. But I believe you have a typo here.

hwayne commented 3 years ago

Sets are unique values, so the same element can't appear more than once.

erlingrj commented 3 years ago

Oh, I am sorry! Thanks again for a great tutorial on TLA+