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 9165d49..ec5aa9a 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -140,9 +140,9 @@ unify(const Constraints& constraints) if (*s == *t) { return unify(cp); - } else if (s->kind == AType::VAR && !t->contains(s)) { + } else if (s->kind == AType::VAR && !list_contains(t, s)) { return Subst::compose(unify(cp.replace(s, t)), Subst(s, t)); - } else if (t->kind == AType::VAR && !s->contains(t)) { + } else if (t->kind == AType::VAR && !list_contains(s, t)) { return Subst::compose(unify(cp.replace(t, s)), Subst(t, s)); } else if (s->kind == AType::EXPR && t->kind == AType::EXPR) { AType::const_iterator si = s->begin(); |