diff options
| author |  tabarbe <unknown> | 2010-07-22 15:25:28 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-22 15:25:28 +0000 |
| commit | a951ef660d99eea65d2584f95b096442ea9c1822 (patch) | |
| tree | b1d8196ebdec4801fd0cc847d4d4a02703ec68a4 /Source/Provers/Z3 | |
| parent | 4091e5d2e62ce8d048c21598fc36542820d282eb (diff) | |
Boogie: Changed the assembly name for the Z3 project to Provers.Z3.dll, so that it matches the namespace.
Diffstat (limited to 'Source/Provers/Z3')
| -rw-r--r-- | Source/Provers/Z3/Z3.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj index c6773ba8..48446233 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -9,7 +9,7 @@ <OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Provers.Z3</RootNamespace>
- <AssemblyName>Z3</AssemblyName>
+ <AssemblyName>Provers.Z3</AssemblyName>
<TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
|