From 4b2fa3bfd8a67319877a91e90c60f8a3ad074577 Mon Sep 17 00:00:00 2001
From: Remy Willems <>
Date: Tue, 7 Sep 2021 14:54:14 +0200
Subject: [PATCH] Don't automatically run StyleCopy for any projects including
 Boogie

---
 Source/Directory.Build.props | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
index 0c2e82ef8..b2b0f0d03 100644
--- a/Source/Directory.Build.props
+++ b/Source/Directory.Build.props
@@ -17,7 +17,7 @@
 
   <!-- Use StyleCop to check for consistent code formatting -->
   <ItemGroup Condition="'$(Configuration)' != 'Release'">
-    <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" />
+    <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" PrivateAssets="All" />
     <AdditionalFiles Include="$(MSBuildThisFileDirectory)stylecop.json" />
   </ItemGroup>