diff -r 86ac9153e660 -r 7264fa2ff2ec doc-src/Ref/simplifier.tex
--- a/doc-src/Ref/simplifier.tex	Thu Nov 27 19:37:36 1997 +0100
+++ b/doc-src/Ref/simplifier.tex	Thu Nov 27 19:39:02 1997 +0100
@@ -86,7 +86,7 @@
 
 Using the simplifier effectively may take a bit of experimentation.
 \index{tracing!of simplification}\index{*trace_simp} The tactics can
-be traced by setting \verb$trace_simp := true$.
+be traced by setting \verb$trace_simp$.
 
 There is not just one global current simpset, but one associated with each
 theory as well.  How are these simpset built up?