From bcc26b703eb58da787619f10e29928bf43954037 Mon Sep 17 00:00:00 2001
From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Sun, 3 Apr 2011 07:55:18 +0000
Subject: [PATCH] Move up midend_is_solved() in the developer docs from
 subheading to heading level. It's _almost_ apt to have it as a subheading of
 midend_solve(), but not quite, and it certainly wasn't intentional - I must
 have absentmindedly typed the wrong Halibut command letter.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@9142 cda61777-01e9-0310-a592-d414129be87e
---
 devel.but | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
 
-- 
2.11.0