From da4900791d36269aaf4a9bcb4b8416a37811bdc0 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Thu, 22 Oct 1998 18:53:14 +0000
Subject: minor change

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 0b97e197..68b74660 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -519,7 +519,7 @@ the goal. One needs to mark the proof of the theorem as an ACS.
 @item proof-atomic-sequents-list
 is a list of instructions for setting up ACSs. Each instruction is a
 list of the form @code{(@var{end} @var{start} &optional
-@var{forget-command}}. @var{end} is a regular expression to recognise
+@var{forget-command})}. @var{end} is a regular expression to recognise
 the last command in an ACS. @var{start} is a function. Its input is the
 last command of an ACS. Its output is a regular expression to recognise
 the first command of the ACS. It is evaluated once and the output is
-- 
cgit v1.2.3