src/base/wlc/wlcReadVer.d src/base/wlc/wlcReadVer.o: src/base/wlc/wlcReadVer.c src/base/wlc/wlc.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/misc/extra/extra.h src/misc/st/st.h src/misc/util/utilNam.h \
 src/misc/mem/mem.h src/misc/util/utilTruth.h src/base/main/mainInt.h \
 src/base/main/main.h src/base/abc/abc.h src/aig/hop/hop.h \
 src/misc/st/stmm.h src/misc/nm/nm.h src/base/cmd/cmd.h \
 src/base/io/ioAbc.h src/misc/tim/tim.h src/map/if/if.h \
 src/misc/vec/vecMem.h src/opt/dau/dau.h src/misc/vec/vecHash.h \
 src/misc/vec/vecWec.h src/aig/aig/aig.h src/proof/ssw/ssw.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 \
 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
