OpenE2K
/
rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

update Miri

This commit is contained in:
Ralf Jung 2020-11-30 16:37:40 +01:00
parent b7ebc6b0c1
commit 4eb64c842b
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Cargo.lock
View File

@ -2131,6 +2131,7 @@ dependencies = [
"rustc-workspace-hack",
"rustc_version",
"shell-escape",
"smallvec 1.4.2",
]
[[package]]

2
src/tools/miri

@ -1 +1 @@
Subproject commit 746ea5b141baf1f86c2ad17753a37b135e0c1aa3
Subproject commit 47acece7aa25d7b5edfae0bfd4b94e6e55a7b4b0