From d53161a7e1e70adddc6c1b1c62aff4599195d881 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 3 Apr 2016 15:42:08 -0700 Subject: Enabling native Gia visualization in &show. --- 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 b69c5bb6..157bf867 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -58,6 +58,7 @@ SRC += src/aig/gia/giaAig.c \ src/aig/gia/giaSatMap.c \ src/aig/gia/giaScl.c \ src/aig/gia/giaScript.c \ + src/aig/gia/giaShow.c \ src/aig/gia/giaShrink.c \ src/aig/gia/giaShrink6.c \ src/aig/gia/giaShrink7.c \ -- cgit v1.2.3