diff options
| author |  Unknown <qadeer@GHALIB.redmond.corp.microsoft.com> | 2011-07-28 16:03:12 -0700 |
|---|---|---|
| committer | Unknown <qadeer@GHALIB.redmond.corp.microsoft.com> | 2011-07-28 16:03:12 -0700 |
| commit | 15099ced0e9f98e69dfbf886ff93b4f8d66fcd20 (patch) | |
| tree | fa4b3b4fef5c98be54901053e68e65269d15d395 /Source/Boogie.sln | |
| parent | 36202c6ec5c99b1284323c3077bc35a33c9d4233 (diff) | |
release build should not have z3api being built
Diffstat (limited to 'Source/Boogie.sln')
| -rw-r--r-- | Source/Boogie.sln | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Boogie.sln b/Source/Boogie.sln index 722de121..6b5723c8 100644 --- a/Source/Boogie.sln +++ b/Source/Boogie.sln @@ -296,7 +296,6 @@ Global {966DD87B-A29D-4F3C-9406-F680A61DC0E0}.Release|Any CPU.ActiveCfg = Release|Any CPU
{966DD87B-A29D-4F3C-9406-F680A61DC0E0}.Release|Any CPU.Build.0 = Release|Any CPU
{966DD87B-A29D-4F3C-9406-F680A61DC0E0}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU
- {966DD87B-A29D-4F3C-9406-F680A61DC0E0}.Release|Mixed Platforms.Build.0 = Release|Any CPU
{966DD87B-A29D-4F3C-9406-F680A61DC0E0}.Release|x86.ActiveCfg = Release|Any CPU
{966DD87B-A29D-4F3C-9406-F680A61DC0E0}.z3apidebug|.NET.ActiveCfg = z3apidebug|Any CPU
{966DD87B-A29D-4F3C-9406-F680A61DC0E0}.z3apidebug|Any CPU.ActiveCfg = z3apidebug|Any CPU
|