we don't have to set the frame on every step

This commit is contained in:
Ralf Jung 2017-07-14 10:15:55 -07:00 committed by Oliver Schneider
parent 4aae2e766e
commit b79814e281
No known key found for this signature in database
GPG key ID: A69F8D225B3AD7D9

View file

@ -36,9 +36,6 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
return Ok(false);
}
let cur_frame = self.cur_frame();
self.memory.set_cur_frame(cur_frame);
let block = self.frame().block;
let stmt_id = self.frame().stmt;
let mir = self.mir();