term rewriting macros fully implemented; still buggy

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/manual.txt b/doc/manual.txt
index df64649ed..e5814b9d6 100755
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -621,14 +621,14 @@ determined). Assignments from the base type to one of its subrange types
 A subrange type has the same size as its base type (``int`` in the example).
 
 Nimrod requires `interval arithmetic`:idx: for subrange types over a set
-of built-in operators that involve constants: ``x mod 3`` is of 
+of built-in operators that involve constants: ``x %% 3`` is of 
 type ``range[0..2]``. The following built-in operators for integers are 
 affected by this rule: ``-``, ``+``, ``*``, ``min``, ``max``, ``succ``,
-``pred``, ``mod``, ``div``, ``and`` (bitwise ``and``).
+``pred``, ``mod``, ``div``, ``%%``, ``and`` (bitwise ``and``).
 
 Bitwise ``and`` only produces a ``range`` if one of its operands is a 
 constant *x* so that (x+1) is a number of two.
-(Bitwise ``and`` is then a ``mod`` operation.)
+(Bitwise ``and`` is then a ``%%`` operation.)
 
 This means that the following code is accepted: