abcBridge-0.10.0.0: abc-build/src/proof/int2/module.make

SRC +=	src/proof/int2/int2Bmc.c \
	src/proof/int2/int2Core.c \
	src/proof/int2/int2Refine.c \
	src/proof/int2/int2Util.c