From db6afbea29b6f187eafb113652c18bfb92e2c940 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 8 Feb 2015 21:18:49 -0800 Subject: Diabling pin-permutation in &nf mapper. --- src/aig/gia/module.make | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/gia/module.make') diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index 0c456333..f8794bcf 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -47,6 +47,7 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaMuxes.c \ src/aig/gia/giaNf.c \ src/aig/gia/giaPat.c \ + src/aig/gia/giaPf.c \ src/aig/gia/giaQbf.c \ src/aig/gia/giaResub.c \ src/aig/gia/giaRetime.c \ -- cgit v1.2.3