X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/puzzles/blobdiff_plain/4496362fadb5f60b8ecf431fb220d26df7280f99..bcc26b703eb58da787619f10e29928bf43954037:/devel.but

diff --git a/devel.but b/devel.but
index 571b960..5e9ff22 100644
--- a/devel.but
+++ b/devel.but
@@ -3118,7 +3118,7 @@ The front end can expect its drawing API and/or
 \cw{activate_timer()} to be called from within a call to this
 function.
 
-\S{midend-is-solved} \cw{midend_is_solved()}
+\H{midend-is-solved} \cw{midend_is_solved()}
 
 \c int midend_is_solved(midend *me);