diff options
Diffstat (limited to 'top/maint.mk')
-rw-r--r-- | top/maint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/maint.mk b/top/maint.mk index 0cabd2f319..09a98bce80 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -696,7 +696,7 @@ sc_prohibit_dirent_without_use: # Prohibit the inclusion of verify.h without an actual use. sc_prohibit_verify_without_use: @h='verify.h' \ - re='\<(verify(true|expr)?|static_assert) *\(' \ + re='\<(verify(true|expr)?|assume|static_assert) *\(' \ $(_sc_header_without_use) # Don't include xfreopen.h unless you use one of its functions. |