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 @@ - netstandard2.1;net45 + netstandard2.0;net45 library True 1701,1702