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 aadc032..1d3af81 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -157,8 +157,8 @@ unify(const Constraints& constraints) else cp.push_back(Constraint(st, tt)); } - if (si == s->end() && (ti == t->end() || (*ti)->as<AType*>()->kind == AType::DOTS) - || ti == t->end() && (*si)->as<AType*>()->kind == AType::DOTS) + if ( (si == s->end() && (ti == t->end() || (*ti)->as<AType*>()->kind == AType::DOTS)) + || (ti == t->end() && (*si)->as<AType*>()->kind == AType::DOTS)) return unify(cp); } throw Error(s->loc, |