--- src/aig/gia/module.make.orig 2019-12-17 15:57:46.000000000 -0700
+++ src/aig/gia/module.make 2019-12-18 09:15:32.619098847 -0700
@@ -16,6 +16,7 @@ SRC += src/aig/gia/giaAig.c \
src/aig/gia/giaCSat2.c \
src/aig/gia/giaCTas.c \
src/aig/gia/giaCut.c \
+ src/aig/gia/giaDeep.c \
src/aig/gia/giaDfs.c \
src/aig/gia/giaDup.c \
src/aig/gia/giaEdge.c \