diff --git a/tests/compile_fail/args_not_impl_default.stderr b/tests/compile_fail/args_not_impl_default.stderr
index 366b6fa..7cc0919 100644
--- a/tests/compile_fail/args_not_impl_default.stderr
+++ b/tests/compile_fail/args_not_impl_default.stderr
@@ -5,7 +5,7 @@ error[E0277]: the trait bound `TestArgs: Default` is not satisfied
   |                    ^^^^^^^^ the trait `Default` is not implemented for `TestArgs`
   |
 note: required by a bound in `proptest::arbitrary::Arbitrary::Parameters`
- --> $CARGO/proptest-1.5.0/src/arbitrary/traits.rs
+ --> $CARGO/proptest-1.6.0/src/arbitrary/traits.rs
   |
   |     type Parameters: Default;
   |                      ^^^^^^^ required by this bound in `Arbitrary::Parameters`