From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Sun, 3 Apr 2011 09:16:08 +0000 (+0000)
Subject: Trivial markup fix.
X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/puzzles/commitdiff_plain/f9e4ce2fdc895fd41ade52eeb81487d2ccc162f7

Trivial markup fix.


git-svn-id: svn://svn.tartarus.org/sgt/puzzles@9144 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/devel.but b/devel.but
index 5e9ff22..9438e0e 100644
--- a/devel.but
+++ b/devel.but
@@ -1234,8 +1234,8 @@ is currently in a solved state. The mid-end uses this to implement
 
 Front ends may wish to use this as a cue to proactively offer the
 option of starting a new game. Therefore, back ends should consider
-returning TRUE in situations where the game is \e{lost} as well as
-won, if losing makes it unlikely that the player would play on.
+returning \cw{TRUE} in situations where the game is \e{lost} as well
+as won, if losing makes it unlikely that the player would play on.
 
 (For instance, games with hidden information such as Guess or Mines
 might well set this flag whenever they reveal the solution, whether or