diff --git a/ChangeLog b/ChangeLog
index 0ef54eee24..5a1d5c0f9e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-13  Jim Meyering  <meyering@fb.com>
+
+	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.
+
 2017-05-13  Bruno Haible  <bruno@clisp.org>
 
 	Use symbolic values for _WIN32_WINNT.
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.