From d7886e0659bb46c841173b38bdb09937672c5dba Mon Sep 17 00:00:00 2001
From: Tyson Williams <tyson.d.w@gmail.com>
Date: Mon, 20 Sep 2021 21:10:36 -0500
Subject: [PATCH] Utilize Property.set internally

---
 src/Hedgehog/Property.fs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Hedgehog/Property.fs b/src/Hedgehog/Property.fs
index 6522ee78..7d493e37 100644
--- a/src/Hedgehog/Property.fs
+++ b/src/Hedgehog/Property.fs
@@ -72,7 +72,7 @@ module Property =
         let h = g |> Gen.map |> mapGen
         h x
 
-    let private set (a: 'a) (property : Property<'b>) : Property<'a> =
+    let internal set (a: 'a) (property : Property<'b>) : Property<'a> =
         property |> map (fun _ -> a)
 
     let private bindGen
@@ -323,7 +323,7 @@ module PropertyBuilder =
         member __.Counterexample(m : Property<'a>, [<ProjectionParameter>] f : 'a -> string) : Property<'a> =
             m |> Property.bind (fun x ->
                 Property.counterexample (fun () -> f x)
-                |> Property.map (fun () -> x))
+                |> Property.set x)
 
         [<CustomOperation("where", MaintainsVariableSpace = true)>]
         member __.Where(m : Property<'a>, [<ProjectionParameter>] p : 'a -> bool) : Property<'a> =