From c2630b338d6ce8e75c45bf116e8f2b687850ce4f Mon Sep 17 00:00:00 2001 From: Andrea Griffini Date: Tue, 7 Mar 2017 10:01:07 +0100 Subject: Typo (#5495) --- doc/manual/types.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- cgit 1.4.1-2-gfad0