| … | … | @@ -142,7 +142,8 @@ Handle UniqueLink::get_unique_nt(const Handle& alias, Type type, |
| 142 | 142 | int depth = INT_MAX; |
| 143 | 143 | for (const Handle& defl : defs) |
| 144 | 144 | { |
| 145 | if (defl->getOutgoingAtom(0) != alias) continue; | |
| 145 | // Do content-compare; the alias might be in a different space. | |
| 146 | if (*defl->getOutgoingAtom(0) != *alias) continue; | |
| 146 | 147 | if (disallow_open) |
| 147 | 148 | { |
| 148 | 149 | UniqueLinkPtr ulp(UniqueLinkCast(defl)); |