From 59fe3268a788722dcae9615e014270fe8be3599b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 19 Feb 2013 23:07:29 -0800
Subject: Adding STG generation (&era -d) and STG encoding (&read_stg <file>).

---
 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 1b31ff3d..a8e3e9ee 100644
--- a/src/aig/gia/module.make
+++ b/src/aig/gia/module.make
@@ -35,6 +35,7 @@ SRC +=    src/aig/gia/gia.c \
     src/aig/gia/giaSim2.c \
     src/aig/gia/giaSort.c \
     src/aig/gia/giaSpeedup.c \
+    src/aig/gia/giaStg.c \
     src/aig/gia/giaSupMin.c \
     src/aig/gia/giaSweep.c \
     src/aig/gia/giaSwitch.c \
-- 
cgit v1.2.3