From 15099ced0e9f98e69dfbf886ff93b4f8d66fcd20 Mon Sep 17 00:00:00 2001 From: Unknown Date: Thu, 28 Jul 2011 16:03:12 -0700 Subject: release build should not have z3api being built --- Source/Boogie.sln | 1 - 1 file changed, 1 deletion(-) (limited to 'Source/Boogie.sln') 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 -- cgit v1.2.3