Forgot to update module make when adding giaDeep.c

This commit is contained in:
Alan Mishchenko 2019-12-18 13:37:04 -08:00
parent 02393a2a7a
commit c4b12fae6d
1 changed files with 1 additions and 0 deletions

View File

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