Fix recheck dead-end message to say generators changed hedgehogqa#418

njlr · Jul 14, 2023 · de87bea · de87bea
1 parent 8c5a5a4
commit de87bea
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 =