1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6a2b9179..5f3bf5c9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,6 +69,8 @@ Binaries/DafnyPipeline.dll
 Binaries/DafnyPipeline.pdb
 Binaries/ModelViewer.exe*
 Binaries/ModelViewer.pdb
+Binaries/ParserHelper.dll
+Binaries/ParserHelper.pdb
 Test/*/Output
 Test/*/*.sx
 Test/VSComp2010/out.cs