Merge pull request #436 from TysonMN/418_gens_changed_msg

Fix dead end message
hedgehogqa · Jul 14, 2023 · 935c404 · 935c404
2 parents 8c5a5a4 + de87bea
commit 935c404
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Hedgehog/Property.fs b/src/Hedgehog/Property.fs
@@ -177,7 +177,7 @@ module Property =
                 children
                 |> Seq.skip i
                 |> Seq.tryHead
-                |> Option.defaultWith (fun () -> failwith "The shrink path lead to a dead end. This should never happen.")
+                |> Option.defaultWith (fun () -> failwith "The shrink path lead to a dead end, which means the generators have changed. Thus, 'recheck' is not possible. Use 'check' instead.")
             followShrinkPath nextRoot shinkPathTail
 
     let private splitAndRun p data =