Skip to content

Commit

Permalink
Merge pull request #421 from bmitc/fix-introductory-examples
Browse files Browse the repository at this point in the history
Fix introductory examples
  • Loading branch information
TysonMN authored Oct 9, 2022
2 parents b48f662 + ee79ef7 commit 253634b
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ open Hedgehog
Once you have your import declaration set up, you can write a simple property:

```fsharp
let propReverse : Property<Unit> =
let propReverse : Property<bool> =
property {
let! xs = Gen.list (Range.linear 0 100) Gen.alpha
return xs |> List.rev |> List.rev = xs
Expand Down
2 changes: 1 addition & 1 deletion doc/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ property {
let! xs = Range.constant 0 1000 |> Gen.int32 |> Gen.list (Range.linear 0 100)
return List.rev (List.rev xs) = xs
}
|> Property.render
|> Property.renderBool
|> printfn "%s"
+++ OK, passed 100 tests.
Expand Down

0 comments on commit 253634b

Please sign in to comment.