diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/types.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/types.txt b/doc/manual/types.txt index c81bc042b..aed09c951 100644 --- a/doc/manual/types.txt +++ b/doc/manual/types.txt @@ -143,7 +143,7 @@ affected by this rule: ``-``, ``+``, ``*``, ``min``, ``max``, ``succ``, ``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. +constant *x* so that (x+1) is a power of two. (Bitwise ``and`` is then a ``%%`` operation.) This means that the following code is accepted: |