--- 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 \