3.1 not 3.2 change

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index ef6f2c92..b67c42f5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -191,7 +191,7 @@
 
        ((proof-string-match (concat "\\`\\(" coq-keywords-decl-defn-regexp
 				    "\\)\\s-*\\(" proof-id 
-				    ;; da: PG 3.2: I added "." here to try
+				    ;; da: PG 3.1: I added "." here to try
 				    ;; to get undo for Section working.
 				    ;; (also changes in coq-syntax)
 				    ;; Coq users will have to tell me if it