From 2776214118a16239e3eb82453aa226e75496d77f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Dec 2000 18:21:04 +0000
Subject: Fix comment to not break texi magic

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 20a35f53..73950cc2 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -583,8 +583,8 @@ Specifically:
  'loopback    	 A command sent from the PA to be inserted into the script
  'response    	 A response message
  'goals	      	 A goals (proof state) display
- 'systemspecific } Something specific to a particular system,
-		 }  see `proof-shell-process-output-system-specific'
+ 'systemspecific Something specific to a particular system,
+		  -- see `proof-shell-process-output-system-specific'
 
 The output corresponding to this will be in proof-shell-last-output.
 
-- 
cgit v1.2.3