diff --git a/proptest-derive/src/ast.rs b/proptest-derive/src/ast.rs
index 47d351eb..d1253fb7 100644
--- a/proptest-derive/src/ast.rs
+++ b/proptest-derive/src/ast.rs
@@ -117,7 +117,7 @@ impl Impl {
             #[allow(non_upper_case_globals)]
             #[allow(clippy::arc_with_non_send_sync)]
             const _: () = {
-            extern crate proptest as _proptest;
+            use proptest as _proptest;
 
             impl #impl_generics _proptest::arbitrary::Arbitrary
             for #typ #ty_generics #where_clause {