src/bdd/parse/parseCore.d src/bdd/parse/parseCore.o: src/bdd/parse/parseCore.c src/bdd/parse/parseInt.h \
 src/misc/extra/extraBdd.h src/misc/st/st.h src/misc/util/abc_global.h \
 src/bdd/cudd/cuddInt.h src/bdd/cudd/cudd.h src/bdd/mtr/mtr.h \
 src/bdd/epd/epd.h src/misc/extra/extra.h src/bdd/parse/parse.h
