From d7c52a963588fda638b9f79882a55f56fef6297a Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 24 Jul 2018 15:19:43 -0700
Subject: Fix issue 8132.  Print the content of body as in
 Printer.pr_compacted_decl, not the type of body.  Also update CHANGES to
 reflect that the argument for Set Diffs is a string.

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 2d4b82d01a..2f59564673 100644
--- a/CHANGES
+++ b/CHANGES
@@ -130,7 +130,7 @@ Display diffs between proof steps
 
 - coqtop and coqide can now highlight the differences between proof steps
   in color. This can be enabled from the command line or the
-  "Set Diffs on|off|removed" command. Please see the documentation for
+  `Set Diffs "on"|"off"|"removed"` command. Please see the documentation for
   details.  Showing diffs in Proof General requires small changes to PG
   (under discussion).
 
-- 
cgit v1.2.3