Skip to content

Commit 9e2107c

Browse files
committed
install ICE hook
1 parent 1ef1d58 commit 9e2107c

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/bin/miri.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -211,6 +211,7 @@ fn main() {
211211
seed,
212212
args: miri_args,
213213
};
214+
rustc_driver::install_ice_hook();
214215
let result = rustc_driver::catch_fatal_errors(move || {
215216
rustc_driver::run_compiler(&rustc_args, &mut MiriCompilerCalls { miri_config }, None, None)
216217
}).and_then(|result| result);

0 commit comments

Comments
 (0)