Bump version number of System.Runtime.Caching (#493)

boogie-org · Feb 2, 2022 · 829c068 · 829c068
1 parent afe439e
commit 829c068
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj
@@ -7,7 +7,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="System.Runtime.Caching" Version="4.5.0" />
+    <PackageReference Include="System.Runtime.Caching" Version="6.0.0" />
   </ItemGroup>
 
   <ItemGroup>