diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-14 10:03:25 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-14 10:03:25 -0700 |
| commit | 4ce6e734a389716fecaf152781702fafa42f2670 (patch) | |
| tree | fb6f041e92f07baa124ebfc66f8b76beca2ced62 /Source/Dafny.sln | |
| parent | 7f57e6de24fdd2e61dd1f9cd053e850f53b83c0f (diff) | |
server: Add a Checked configuration
Diffstat (limited to 'Source/Dafny.sln')
| -rw-r--r-- | Source/Dafny.sln | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny.sln b/Source/Dafny.sln index 570922fa..db035b4a 100644 --- a/Source/Dafny.sln +++ b/Source/Dafny.sln @@ -57,8 +57,8 @@ Global {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|.NET.ActiveCfg = Release|Any CPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Any CPU.ActiveCfg = Release|Any CPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Any CPU.Build.0 = Release|Any CPU
- {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Mixed Platforms.ActiveCfg = Release|Any CPU
- {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Mixed Platforms.Build.0 = Release|Any CPU
+ {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Mixed Platforms.ActiveCfg = Checked|Any CPU
+ {AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Checked|Mixed Platforms.Build.0 = Checked|Any CPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Debug|.NET.ActiveCfg = Debug|Any CPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}.Debug|Any CPU.Build.0 = Debug|Any CPU
|