diff --git a/src/aig/gia/module.make b/src/aig/gia/module.make index 2690941061..e918d81f16 100644 --- a/src/aig/gia/module.make +++ b/src/aig/gia/module.make @@ -1,4 +1,5 @@ -SRC += src/aig/gia/giaAig.c \ +SRC += src/aig/gia/gia.c \ + src/aig/gia/giaAig.c \ src/aig/gia/giaAgi.c \ src/aig/gia/giaAiger.c \ src/aig/gia/giaAigerExt.c \