src/proof/abs/absIter.d src/proof/abs/absIter.o: src/proof/abs/absIter.c src/proof/abs/abs.h 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/aig/gia/gia.h src/aig/saig/saig.h \
 src/sat/bmc/bmc.h
