From 39cdb75942f96754e760c0e7e001eb07ac6b74b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= <tzemanovic@gmail.com>
Date: Tue, 10 Dec 2024 11:31:30 +0000
Subject: [PATCH] fix no-std build

---
 proptest/src/test_runner/scoped_panic_hook.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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<R>(