From 20c057446c2043a759861c9dd4559bdcd4660176 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 13 May 2026 20:57:53 +0000
Subject: [PATCH] Update dotnet example target framework from netcoreapp2.0 to
 net8.0

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/fad9f824-9303-40c2-83d0-3df2d71fe9b9

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 examples/dotnet/dotnet.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/dotnet/dotnet.csproj b/examples/dotnet/dotnet.csproj
index 7776259ea..2084e3678 100644
--- a/examples/dotnet/dotnet.csproj
+++ b/examples/dotnet/dotnet.csproj
@@ -2,7 +2,7 @@
 
   <PropertyGroup>
     <OutputType>Exe</OutputType>
-    <TargetFramework>netcoreapp2.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>