# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1107413918 0
# Node ID 59d6cfcd4c9ab988a24b6ee4b0d43ab6c5908002
# Parent  c8c884c02452618607a5a168b9785cb6d4dd9fe8
(Printing in Edebug): Fix edebug-print-circle.
(Coverage Testing): Fix typo.

diff -r c8c884c02452 -r 59d6cfcd4c9a lispref/edebug.texi
--- a/lispref/edebug.texi	Thu Feb 03 06:57:22 2005 +0000
+++ b/lispref/edebug.texi	Thu Feb 03 06:58:38 2005 +0000
@@ -801,7 +801,7 @@
 
 @defopt edebug-print-circle
 If non-@code{nil}, Edebug binds @code{print-circle} to this value while
-printing results.  The default value is @code{nil}.
+printing results.  The default value is @code{t}.
 @end defopt
 
   Other programs can also use custom printing; see @file{cust-print.el}
@@ -909,7 +909,7 @@
 @example
 (defun fac (n)
   (if (= n 0) (edebug))
-;#6           1      0 =5
+;#6           1      = =5
   (if (< 0 n)
 ;#5         =
       (* n (fac (1- n)))