Fix a typo I noticed in passing.

[originally from svn r9821]

diff --git a/devel.but b/devel.but
index 30642ead581af087647a923dec958eda3147099e..c218cd172854963bac63d7f98e170c9b90f486fb 100644 (file)
--- a/devel.but
+++ b/devel.but
@@ -3264,7 +3264,7 @@ place.
 \c                     void *rctx);
 
 This function examines a serialised midend stream, of the same kind
-used by \cw{midend_serialise()} and \cw{midendd_deserialise()}, and
+used by \cw{midend_serialise()} and \cw{midend_deserialise()}, and
 returns the \cw{name} field of the game back end from which it was
 saved.