1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 484faf419..93e28cd6c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,7 @@
 /yosys-abc
 /yosys-abc.exe
 /yosys-config
+/yosys-smtbmc
 /yosys-filterlib
 /yosys-filterlib.exe
 /kernel/version_*.cc