From 0ae5f3112d633a1d93f073ca5e11daef310f687a Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Wed, 25 Feb 2026 22:06:42 +1100 Subject: [PATCH] Adjust char module documentation. library/char.m: Adjust the description of binary digits to be consistent with elsewhere in this module. Fix a double-up word. --- library/char.m | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/library/char.m b/library/char.m index 71610396b..6eddd2093 100644 --- a/library/char.m +++ b/library/char.m @@ -201,7 +201,7 @@ %---------------------% % binary_digit_to_int(Char, Int): - % True if-and-only-if Char is a binary digit (0-1) representing + % True if-and-only-if Char is a binary digit (0 or 1) representing % the value Int. % :- pred binary_digit_to_int(char::in, int::out) is semidet. @@ -455,8 +455,8 @@ % - pred det_from_int/2 % % are implemented in terms of pred to_int/2. For the *from_int operations, -% this is possible *only* because that predicate has a reverse mode as -% as its usual forward mode. +% this is possible *only* because that predicate has a reverse mode as its +% usual forward mode. % to_int(C) = N :-