diff options
Diffstat (limited to 'src/unify.cpp')
-rw-r--r-- | src/unify.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index eebd75c..8aac926 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -125,7 +125,6 @@ unify(const Constraints& constraints) 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()) { - assert(*s->at(0)->to<ASymbol*>() == *t->at(0)->to<ASymbol*>()); for (size_t i = 1; i < s->size(); ++i) { AType* si = s->at(i)->to<AType*>(); AType* ti = t->at(i)->to<AType*>(); |