1 files changed, 1 insertions, 1 deletions
diff --git a/etc/NEWS b/etc/NEWS
index c3518b6336b..e26d18c93ed 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -647,7 +647,7 @@ for something (not just adding elements to it), it ought not to affect you.
 *** `bool-vector-intersection'
 *** `bool-vector-set-difference'
 *** `bool-vector-not'
-*** `bool-vector-subset'
+*** `bool-vector-subsetp'
 *** `bool-vector-count-matches'
 *** `bool-vector-count-matches-at'

diff --git a/etc/NEWS b/etc/NEWS index c3518b6336b..e26d18c93ed 100644 --- a/etc/NEWS +++ b/etc/NEWS
@@ -647,7 +647,7 @@ for something (not just adding elements to it), it ought not to affect you.
647	*** `bool-vector-intersection'	647	*** `bool-vector-intersection'
648	*** `bool-vector-set-difference'	648	*** `bool-vector-set-difference'
649	*** `bool-vector-not'	649	*** `bool-vector-not'
650	*** `bool-vector-subset'	650	*** `bool-vector-subsetp'
651	*** `bool-vector-count-matches'	651	*** `bool-vector-count-matches'
652	*** `bool-vector-count-matches-at'	652	*** `bool-vector-count-matches-at'
653		653