1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index f251d2b6..77d6e29e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,7 @@
 /qtcreator.creator
 /qtcreator.creator.user
 /Makefile.conf
+/minisat
 /abc
 /yosys
 /yosys-abc