From 69e722f4a1ad72777430d5e08de70545051ce46d Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 8 Dec 2010 01:30:30 +0000
Subject: Rename BVD binary to (suprise!) BVD

---
 .gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '.gitignore')

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
-- 
cgit v1.2.3