2 files changed, 3 insertions, 3 deletions

diff --git a/.gitignore b/.gitignore
index 5f3bf5c9..a78bda16 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,8 +67,8 @@ Binaries/Dafny.pdb
 Binaries/*.vshost.exe*

 Binaries/DafnyPipeline.dll

 Binaries/DafnyPipeline.pdb

-Binaries/ModelViewer.exe*

-Binaries/ModelViewer.pdb

+Binaries/BVD.exe*

+Binaries/BVD.pdb

 Binaries/ParserHelper.dll

 Binaries/ParserHelper.pdb

 Test/*/Output

diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj
index 31b9d620..ac06676e 100644
--- a/Source/ModelViewer/ModelViewer.csproj
+++ b/Source/ModelViewer/ModelViewer.csproj
@@ -9,7 +9,7 @@
     <OutputType>WinExe</OutputType>

     <AppDesignerFolder>Properties</AppDesignerFolder>

     <RootNamespace>Microsoft.Boogie.ModelViewer</RootNamespace>

-    <AssemblyName>ModelViewer</AssemblyName>

+    <AssemblyName>BVD</AssemblyName>

     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>

     <TargetFrameworkProfile>Client</TargetFrameworkProfile>

     <FileAlignment>512</FileAlignment>