src/opt/nwk/nwkFlow.d src/opt/nwk/nwkFlow.o: src/opt/nwk/nwkFlow.c src/opt/nwk/nwk.h src/aig/aig/aig.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/hop/hop.h \
 src/misc/tim/tim.h src/map/if/if.h src/misc/mem/mem.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/bool/bdc/bdc.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/proof/ssw/ssw.h src/opt/nwk/ntlnwk.h
