diff options
| author |  stobies <unknown> | 2010-12-06 13:01:20 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-12-06 13:01:20 +0000 |
| commit | fc8eefd389831e5ca4a176b71fe2c762bd701e21 (patch) | |
| tree | 1ea633b57d264947b5f16d0143101da5d2ef71f9 /Source/Provers/Z3/Z3.csproj | |
| parent | bd6ea9a2ea5e864434a3b28ef309390c4e860765 (diff) | |
Added version.cs as link to those projects that were missing it
Select 4.0 client profile on all projects
Diffstat (limited to 'Source/Provers/Z3/Z3.csproj')
| -rw-r--r-- | Source/Provers/Z3/Z3.csproj | 2 |
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>
|