Updated Rust version to latest master

Updated Rust version since the latest version contains changes which allow this version of Miri to build.

diff --git a/rust-version b/rust-version
index d0c938c53fafd1f95761ab0f808f5b280913fd12..211af60b88aae4ffb4a4ed0111e7eaef2ef3930b 100644 (file)
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-0e11fc8053d32c44e7152865852acc5c3c54efb3
+13f9aa190957b993a268fd4a046fce76ca8814ee