summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaJf.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-28 23:56:08 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-28 23:56:08 -0700
commit2a83a97164c17e341dbe90aa3debd105eb736284 (patch)
tree154c072e142692c521fe22e33779b9d88108cb98 /src/aig/gia/giaJf.c
parent797cb49584c8103d587afff82e5e7c50703c6a87 (diff)
downloadabc-2a83a97164c17e341dbe90aa3debd105eb736284.tar.gz
abc-2a83a97164c17e341dbe90aa3debd105eb736284.tar.bz2
abc-2a83a97164c17e341dbe90aa3debd105eb736284.zip
Changing default values.
Diffstat (limited to 'src/aig/gia/giaJf.c')
-rw-r--r--src/aig/gia/giaJf.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 4e66e7f1..209715de 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -32,7 +32,7 @@ ABC_NAMESPACE_IMPL_START
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
-#define JF_LEAF_MAX 6
+#define JF_LEAF_MAX 8
#define JF_CUT_MAX 16
typedef struct Jf_Cut_t_ Jf_Cut_t;