diff options
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 51179d9..0c9dea2 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -77,11 +77,11 @@ substitute(const AType* tup, const AType* from, const AType* to) } else if (*i != to) { const AType* elem = (*i)->as_type(); if (elem->kind == AType::EXPR) - ret.push_back(const_cast<AType*>(substitute(elem, from, to))); + ret.push_back(substitute(elem, from, to)); else - ret.push_back(const_cast<AType*>(elem)); + ret.push_back(elem); } else { - ret.push_back(const_cast<AType*>((*i)->as_type())); + ret.push_back((*i)->as_type()); } } return ret.head; |