1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 0d567cbb..c6ee95ca 100644
--- a/.gitignore
+++ b/.gitignore
@@ -62,7 +62,7 @@ Binaries/VCExpr.dll
 Binaries/VCExpr.pdb
 Binaries/VCGeneration.dll
 Binaries/VCGeneration.pdb
-Binaries/Boogie.vshost.exe
+Binaries/Boogie.vshost.exe*
 Binaries/CodeContractsExtender.dll
 Binaries/CodeContractsExtender.pdb
 Binaries/Dafny.exe