From a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 7 Apr 2011 13:49:03 -0700
Subject: Unsuccessful attempt to improve PDR and a few minor changes.

---
 .hgignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.hgignore')

diff --git a/.hgignore b/.hgignore
index 2c467f92..4aae48af 100644
--- a/.hgignore
+++ b/.hgignore
@@ -15,6 +15,7 @@ docs/
 src/ext/
 src/xxx/
 src/aig/au/
+src/aig/ssm/
 
 *~
 *.orig
-- 
cgit v1.2.3