src/base/abci/abcRpo.d src/base/abci/abcRpo.o: src/base/abci/abcRpo.c src/misc/extra/extra.h src/misc/st/st.h \
 src/misc/util/abc_global.h src/bool/rpo/rpo.h src/bool/rpo/literal.h \
 src/bool/kit/kit.h src/misc/vec/vec.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/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 src/bool/rpo/literal.h
