Reinstate a missing semicolon.

[originally from svn r9792]

diff --git a/devel.but b/devel.but
index 109ffe23a67236fb87ed7eefee621f13689fcfdf..457e169ff32aa2ab938cbd88bcf6092acdfcf073 100644 (file)
--- a/devel.but
+++ b/devel.but
@@ -3245,7 +3245,7 @@ place.
 
 \c char *identify_game(char **name,
 \c                     int (*read)(void *ctx, void *buf, int len),
-\c                     void *rctx)
+\c                     void *rctx);
 
 This function examines a serialised midend stream, of the same kind
 used by \cw{midend_serialise()} and \cw{midendd_deserialise()}, and