src/map/if/ifDec07.d src/map/if/ifDec07.o: src/map/if/ifDec07.c src/map/if/if.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/mem/mem.h src/misc/tim/tim.h src/misc/util/utilNam.h \
 src/misc/vec/vecMem.h src/misc/util/utilTruth.h src/opt/dau/dau.h \
 src/misc/vec/vecHash.h src/misc/vec/vecWec.h src/misc/extra/extra.h \
 src/misc/st/st.h src/bool/kit/kit.h src/misc/extra/extraBdd.h \
 src/bdd/cudd/cuddInt.h src/bdd/cudd/cudd.h src/bdd/mtr/mtr.h \
 src/bdd/epd/epd.h src/bool/kit/cloud.h
