summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3/Z3.csproj
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Provers/Z3/Z3.csproj')
-rw-r--r--Source/Provers/Z3/Z3.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj
index e67d7fb2..13479a53 100644
--- a/Source/Provers/Z3/Z3.csproj
+++ b/Source/Provers/Z3/Z3.csproj
@@ -34,7 +34,7 @@
<IsWebBootstrapper>false</IsWebBootstrapper>
<UseApplicationTrust>false</UseApplicationTrust>
<BootstrapperEnabled>true</BootstrapperEnabled>
- <TargetFrameworkProfile />
+ <TargetFrameworkProfile>Client</TargetFrameworkProfile>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
<DebugSymbols>true</DebugSymbols>