From 0422b59123f81d9fc6dab59e842e9b01c5beaad6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 24 Apr 2021 16:37:03 -0700
Subject: [PATCH] build

---
 src/api/dotnet/Microsoft.Z3.csproj.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/dotnet/Microsoft.Z3.csproj.in b/src/api/dotnet/Microsoft.Z3.csproj.in
index 504e48474..413c1d0ce 100644
--- a/src/api/dotnet/Microsoft.Z3.csproj.in
+++ b/src/api/dotnet/Microsoft.Z3.csproj.in
@@ -49,7 +49,7 @@
   <!-- Build properties -->
   <PropertyGroup>
     <!-- In *nix builds, netfx TFMs are not available. -->
-    <TargetFrameworks>netstandard2.1;net45</TargetFrameworks>
+    <TargetFrameworks>netstandard2.0;net45</TargetFrameworks>
     <OutputTypeEx>library</OutputTypeEx>
     <AllowUnsafeBlocks>True</AllowUnsafeBlocks>
     <NoWarn>1701,1702</NoWarn>