1 files changed, 0 insertions, 1 deletions

diff --git a/.hgignore b/.hgignore
index 6ed7d35b..bc4c7289 100644
--- a/.hgignore
+++ b/.hgignore
@@ -19,7 +19,6 @@ src/xxx/
 src/aig/au/
 src/aig/ssm/
 src/aig/ddb/
-src/sat/bsat2/
 
 src/base/abc2/
 src/base/abc2d/