diff options
Diffstat (limited to 'Source/Provers/Z3/Z3.csproj')
-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>
|