diff options
Diffstat (limited to 'src/simplify.cpp')
| -rw-r--r-- | src/simplify.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/simplify.cpp b/src/simplify.cpp index d6188ad..ea83cff 100644 --- a/src/simplify.cpp +++ b/src/simplify.cpp @@ -113,10 +113,7 @@ simplify_match(CEnv& cenv, const ATuple* match) throw() assert(fnT.head->list_ref(1)); cenv.setType(fn, fnT); - const ATuple* cast = tup(Cursor(), cenv.penv.sym("cast"), obj, 0); - cenv.setType(cast, texp->rst()); - - List call(Cursor(), fn, cast, 0); + List call(Cursor(), fn, obj, 0); cenv.setTypeSameAs(call, match); copyIf.push_back(call); } |