1 files changed, 2 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index e84a6e41..a917c9fa 100644
--- a/.hgignore
+++ b/.hgignore
@@ -18,6 +18,8 @@ src/aig/au/
 src/aig/ssm/
 src/aig/ddb/
 
+src/base/abc2/
+
 *~
 *.orig