diff options
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 864ea81..b013e0c 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -82,10 +82,10 @@ unify(const Constraints& constraints) if (*s == *t) { return unify(cp); - } else if (s->var() && !t->contains(s)) { + } else if (s->kind == AType::VAR && !t->contains(s)) { cp.replace(s, t); return Subst::compose(unify(cp), Subst(s, t)); - } else if (t->var() && !s->contains(t)) { + } else if (t->kind == AType::VAR && !s->contains(t)) { cp.replace(t, s); return Subst::compose(unify(cp), Subst(t, s)); } else if (s->kind == AType::EXPR && s->kind == t->kind && s->size() == t->size()) { |