1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 484faf41..93e28cd6 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