summaryrefslogtreecommitdiff
path: root/Source/Houdini
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Houdini')
-rw-r--r--Source/Houdini/Houdini.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.csproj b/Source/Houdini/Houdini.csproj
index 68ea62e3..43612142 100644
--- a/Source/Houdini/Houdini.csproj
+++ b/Source/Houdini/Houdini.csproj
@@ -9,7 +9,7 @@
<OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Microsoft.Boogie.Houdini</RootNamespace>
- <AssemblyName>Houdini</AssemblyName>
+ <AssemblyName>BoogieHoudini</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>