fixup! address PR comments

This commit is contained in:
Cian Johnston 2024-02-21 19:22:17 +00:00
parent 53ba28fd11
commit 14fd776f46
1 changed files with 1 additions and 1 deletions

View File

@ -748,7 +748,7 @@ var deletedUserLinkError = &pq.Error{
Routine: "exec_stmt_raise",
}
// m1 and m2 are equal iff |m1| = |m2| ^ m1 ⊆ m2
// m1 and m2 are equal iff |m1| = |m2| ^ m2 ⊆ m1
func tagsEqual(m1, m2 map[string]string) bool {
return len(m1) == len(m2) && tagsSubset(m1, m2)
}