From d336cb4957c6b223ce7e8d717718217cb0665b56 Mon Sep 17 00:00:00 2001 From: Araq Date: Thu, 13 Sep 2012 17:33:20 +0200 Subject: bugfix: echo vs debugEcho --- doc/manual.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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``. -- cgit 1.4.1-2-gfad0