diff options
author | tabarbe <unknown> | 2010-07-22 15:27:36 +0000 |
---|---|---|
committer | tabarbe <unknown> | 2010-07-22 15:27:36 +0000 |
commit | 16011b2c954e323c599701106f63b89d46e01410 (patch) | |
tree | f74aced03c1132b9d1e9809a9a22a2a5f80f8cf5 /Source | |
parent | a951ef660d99eea65d2584f95b096442ea9c1822 (diff) |
Boogie: Looks like the default namespace should be Microsoft.Boogie.Z3, rather than Provers.Z3. I updated that.
Diffstat (limited to 'Source')
-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 48446233..4c1e48fc 100644 --- a/Source/Provers/Z3/Z3.csproj +++ b/Source/Provers/Z3/Z3.csproj @@ -8,7 +8,7 @@ <ProjectGuid>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</ProjectGuid>
<OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
- <RootNamespace>Provers.Z3</RootNamespace>
+ <RootNamespace>Microsoft.Boogie.Z3</RootNamespace>
<AssemblyName>Provers.Z3</AssemblyName>
<TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
|