diff options
| author |  wuestholz <unknown> | 2014-06-28 17:59:44 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-06-28 17:59:44 +0200 |
| commit | b4e20b3397098b237b5b17b4b6a71d02a900a88d (patch) | |
| tree | 7781d6ceb2f83d166e821e33807527e0089f9c3f /Source/DafnyDriver | |
| parent | 05bbbcc402870c5064df987d7f14c5b83cece22c (diff) | |
Minor change due to change in Boogie
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 631b0194..cf664364 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -20,7 +20,7 @@ <OldToolsVersion>3.5</OldToolsVersion>
<UpgradeBackupLocation />
<IsWebBootstrapper>false</IsWebBootstrapper>
- <TargetFrameworkProfile>Client</TargetFrameworkProfile>
+ <TargetFrameworkProfile></TargetFrameworkProfile>
<PublishUrl>publish\</PublishUrl>
<Install>true</Install>
<InstallFrom>Disk</InstallFrom>
|