diff options
| -rw-r--r-- | ui/xreflist.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ui/xreflist.h b/ui/xreflist.h index f3781add..6d14f908 100644 --- a/ui/xreflist.h +++ b/ui/xreflist.h @@ -66,6 +66,9 @@ public: (m_type == other.m_type))) return false; + if (!m_func ^ !other.m_func) + return false; + if (!m_func && !other.m_func) return true; |