Correct line comment prefix for TLA+

hhatto / gocloc

A little fast cloc(Count Lines Of Code)

MIT License

799 stars 79 forks source link

Closed matthias-g closed 3 years ago

matthias-g commented 3 years ago

Line comments in TLA+ are preceded by *. See Specifying Systems (https://lamport.azurewebsites.net/tla/book.html), page 32

hhatto commented 3 years ago

good catch 👍 Thanks