1 files changed, 2 insertions, 0 deletions

diff --git a/.hgignore b/.hgignore
index bc49245a..b67058d3 100644
--- a/.hgignore
+++ b/.hgignore
@@ -18,6 +18,8 @@ src/aig/au/
 src/aig/ssm/
 src/aig/ddb/
 
+src/map/if/ifDec.c
+
 *~
 *.orig