From cf6c924f9cb10a583edbab2560773f2500a86323 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Thu, 2 Dec 2010 08:03:47 +0000 Subject: Work towards removing different classes for each type of expression. git-svn-id: http://svn.drobilla.net/resp/resp@278 ad02d1e2-f140-0410-9f75-f8b11f17cedd --- src/unify.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/unify.cpp') 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(); -- cgit v1.2.1