diff options
Diffstat (limited to 'doc/manual.txt')
-rwxr-xr-x | doc/manual.txt | 2 |
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``. |