bugfix: echo vs debugEcho

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/manual.txt b/doc/manual.txt
index 042163de9..028ccb671 100755
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -3431,7 +3431,7 @@ or ``ref T`` or ``ptr T`` this means no locations are modified. It is a static
 error to mark a proc/iterator to have no side effect if the compiler cannot

 verify this.

 
-As a special semantic rule, the built-in ``echo`` pretends to be free of 
+As a special semantic rule, the built-in ``debugEcho`` pretends to be free of 
 side effects, so that it can be used for debugging routines marked as
 ``noSideEffect``.