diff options
Diffstat (limited to 'Source/Core/Core.csproj')
| -rw-r--r-- | Source/Core/Core.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj index 36bcc6c3..7c4cb7ae 100644 --- a/Source/Core/Core.csproj +++ b/Source/Core/Core.csproj @@ -9,7 +9,7 @@ <OutputType>Library</OutputType> <AppDesignerFolder>Properties</AppDesignerFolder> <RootNamespace>Core</RootNamespace> - <AssemblyName>Core</AssemblyName> + <AssemblyName>BoogieCore</AssemblyName> <TargetFrameworkVersion>v4.0</TargetFrameworkVersion> <FileAlignment>512</FileAlignment> <CodeContractsAssemblyMode>1</CodeContractsAssemblyMode> @@ -34,7 +34,7 @@ <IsWebBootstrapper>false</IsWebBootstrapper> <UseApplicationTrust>false</UseApplicationTrust> <BootstrapperEnabled>true</BootstrapperEnabled> - <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'" >Client</TargetFrameworkProfile> + <TargetFrameworkProfile Condition=" '$(OS)' == 'Windows_NT'">Client</TargetFrameworkProfile> </PropertyGroup> <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' "> <DebugSymbols>true</DebugSymbols> @@ -186,7 +186,7 @@ </ItemGroup> <ItemGroup> <ProjectReference Include="..\Basetypes\Basetypes.csproj"> - <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project> + <Project>{43dfad18-3e35-4558-9be2-caff6b5ba8a0}</Project> <Name>Basetypes</Name> </ProjectReference> <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj"> |