wmlscope: fix format of magic comment in documentation

It's not just `prune`, but rather `wmlscope: prune`
This commit is contained in:
Eric Gallager 2024-08-17 18:55:59 -04:00 committed by Elvish_Hunter
parent 3dc19a9808
commit 4915f3be86

View file

@ -47,7 +47,7 @@
#
# The following magic comment:
#
# # prune FOOBAR
# # wmlscope: prune FOOBAR
#
# will cause wmlscope to forget about all but one of the definitions of FOOBAR
# it has seen. This will be useful mainly for symbols that have different