1 files changed, 1 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index b2cf595..96ced2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,7 +41,7 @@ src/extraction/STAMP
 
 *.exe
 *.ini
-bin/coqup
+bin/vericert
 
 # Ocaml
 _build