src/aig/gia/giaTim.d src/aig/gia/giaTim.o: src/aig/gia/giaTim.c src/aig/gia/gia.h src/misc/vec/vec.h \
 src/misc/util/abc_global.h src/misc/vec/vecInt.h src/misc/vec/vecFlt.h \
 src/misc/vec/vecStr.h src/misc/vec/vecPtr.h src/misc/vec/vecVec.h \
 src/misc/vec/vecAtt.h src/misc/vec/vecWrd.h src/misc/vec/vecBit.h \
 src/misc/util/utilCex.h src/aig/gia/giaAig.h src/aig/aig/aig.h \
 src/misc/tim/tim.h src/proof/cec/cec.h src/proof/fra/fra.h \
 src/opt/dar/dar.h src/sat/bsat/satSolver.h src/sat/bsat/satVec.h \
 src/sat/bsat/satClause.h src/aig/ioa/ioa.h
