provide correct name for shim

This commit is contained in:
Christian Poveda 2019-12-24 11:21:00 -05:00
parent d9ecd77ada
commit 6177e6df7e
No known key found for this signature in database
GPG key ID: 27525EF5E7420A50

View file

@ -494,7 +494,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
this.write_scalar(Scalar::from_int(result, dest.layout.size), dest)?;
}
"stat64" => {
"stat$INODE64" => {
let result = this.stat(args[0], args[1])?;
this.write_scalar(Scalar::from_int(result, dest.layout.size), dest)?;
}