From bf696f83fc8076e748c04a53f425aa29d78c020d Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sun, 31 Mar 2013 09:58:50 +0000
Subject: [PATCH] Reinstate a missing semicolon.

[originally from svn r9792]
---
 devel.but | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel.but b/devel.but
index 109ffe2..457e169 100644
--- 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