src/proof/ssc/sscClass.d src/proof/ssc/sscClass.o: src/proof/ssc/sscClass.c src/proof/ssc/sscInt.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/sat/bsat/satSolver.h src/sat/bsat/satVec.h src/sat/bsat/satClause.h \
 src/proof/ssc/ssc.h
