Fixed typo in footnote 3

tamarin-prover / manual

Tamarin prover manual: source files

https://tamarin-prover.github.io/manual

24 stars 39 forks source link

Closed gwolf closed 6 months ago

gwolf commented 7 months ago

Footnote 3 about the ++ operator reads ...this operator was + wich is still..., fixed it.

cascremers commented 6 months ago

Looks good, thanks!