diff --git a/proptest/src/test_runner/scoped_panic_hook.rs b/proptest/src/test_runner/scoped_panic_hook.rs index 63183fbd..79d64005 100644 --- a/proptest/src/test_runner/scoped_panic_hook.rs +++ b/proptest/src/test_runner/scoped_panic_hook.rs @@ -118,7 +118,8 @@ mod internal { #[cfg(not(feature = "handle-panics"))] mod internal { - use std::panic::PanicInfo; + use core::panic::PanicInfo; + /// Simply executes `body` and returns its execution result. /// Hook parameter is ignored pub fn with_hook(