From 5131943046199f17aa3f08b3fc8e85a704697ab6 Mon Sep 17 00:00:00 2001
From: Edgar Gonzalez <edgar.gonzalez@fundourselves.com>
Date: Wed, 22 May 2024 22:57:16 +0100
Subject: [PATCH] Extend DefaultValueAttribute to use AttributeTargets.Property

---
 src/FSharp.Core/prim-types.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/FSharp.Core/prim-types.fs b/src/FSharp.Core/prim-types.fs
index 556fb1bcde5d..1a695d924499 100644
--- a/src/FSharp.Core/prim-types.fs
+++ b/src/FSharp.Core/prim-types.fs
@@ -110,7 +110,7 @@ namespace Microsoft.FSharp.Core
         inherit Attribute()
         member _.Value = value
 
-    [<AttributeUsage (AttributeTargets.Field ||| AttributeTargets.Method, AllowMultiple=false)>]  
+    [<AttributeUsage (AttributeTargets.Field ||| AttributeTargets.Method ||| AttributeTargets.Property, AllowMultiple=false)>]  
     [<Sealed>]
     type DefaultValueAttribute(check:bool) = 
         inherit Attribute()