src/proof/fraig/fraigSat.d src/proof/fraig/fraigSat.o: src/proof/fraig/fraigSat.c src/proof/fraig/fraigInt.h \
 src/misc/util/abc_global.h src/proof/fraig/fraig.h src/sat/msat/msat.h \
 src/sat/msat/msatInt.h src/sat/msat/msat.h
