[concurrency-interest] on happens-before formalism

[Pavel Rappo]

I've been reading "SPECIAL POPL ISSUE The Java Memory Model" by Jeremy
Manson, William Pugh and Sarita Adve.
There's one (yet) thing seems strange to me. Though I think it's actually a
typo it's still worth mentioning.

page. 8, 2.1: "...Note that all of this means that happens-before is a
partial order: it is reflexive, transitive and anti-symmetric..."

Am I right saying authors actually meant "irreflexive"?

-- 
Sincerely yours, Pavel Rappo.