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 1d3af81..a4ea035 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -147,8 +147,8 @@ unify(const Constraints& constraints) } else if (t->kind == AType::VAR && !s->contains(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() + 1; - AType::const_iterator ti = t->begin() + 1; + AType::const_iterator si = s->begin(); + AType::const_iterator ti = t->begin(); for (; si != s->end() && ti != t->end(); ++si, ++ti) { AType* st = (*si)->as<AType*>(); AType* tt = (*ti)->as<AType*>(); |