diff options
| author | Brian Potchik <brian@vector35.com> | 2020-02-16 10:13:02 -0500 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2020-02-16 10:13:02 -0500 |
| commit | 21663ec58b1798731dff3d346a10daf935427666 (patch) | |
| tree | a30717c33a6f65078cb9a61ca1ba3605eeb5ce24 | |
| parent | 207b74f8e5e75769cab484c3da6165779faedc02 (diff) | |
Fix crash in new xref list.
| -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; |