diff --git a/.gitignore b/.gitignore
index 18324dc..7f50e01 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,4 @@ _testmain.go
 *.prof
 
 build/
+verify/