Trivial markup fix.

[originally from svn r9144]

diff --git a/devel.but b/devel.but
index 5e9ff22030060c311a579f9057b39ceba961bf8f..9438e0ea9ed21fa0cf06fc72918d33e1ffb8d870 100644 (file)
--- 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