From 9b41ff4e90a0303d9caf6e7e2f951a5046ce2d13 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 28 Apr 2019 12:04:54 -0700
Subject: Highlight diffs in goals and some error messages using Coq's proof
 diffs feature.

---
 generic/proof-menu.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 2900a6b1..ba3d05ff 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -860,6 +860,7 @@ KEY is the optional key binding."
 			 ["Save Settings" (proof-settings-save)
 			  (proof-settings-changed-from-saved-p)]))
 	    groups ents)
+	; todo: AFAICT the following statement does nothing and can be removed
 	(mapc (lambda (stg) (add-to-list 'groups (get (car stg) 'pggroup)))
 	      proof-assistant-settings)
 	(dolist (grp (reverse groups))
-- 
cgit v1.2.3