diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index fb967bd..248fb10 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -27,7 +27,7 @@ namespace {
 // 1. BST invariant: all keys in the tree rooted at the left child of a node
 // compare less than that node's key, and all keys in the tree rooted at the
 // right child of a node compare greater than that node's key.
-// 2. Heap invariant: the priority of a node is greater than all the priorities
+// 2. Heap invariant: the priority of a node is >= all the priorities
 // of its children (transitively)
 // 3. Max invariant: `maxVersion` is the max among all values of `pointVersion`
 // and `beyondVersion` for this node and its children (transitively)