Hash :
8e2bc0b5
Author :
Date :
2017-05-13T18:18:22
maint.mk: update regex to reflect 2013 addition of "assume" to verify.h * top/maint.mk (sc_prohibit_verify_without_use): Don't reject a source file that uses the assume macro, claiming that verify.h is unused.