]> git.lizzy.rs Git - rust.git/commit
fix for rustc change
authorRalf Jung <post@ralfj.de>
Mon, 18 Mar 2019 12:48:37 +0000 (13:48 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 18 Mar 2019 12:48:37 +0000 (13:48 +0100)
commit8ee67994cc2ef98efb3f820a8f7012d24812cc06
tree548305273e0c1ec0466a88582c582cf7048871c6
parent687c5d13ea09aceaa79b4eb1b854791ad0f27b89
fix for rustc change
src/bin/miri-rustc-tests.rs