From 77ade8d20906fe9ca2cf6788ff1e1437e0912868 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 1 Jun 2026 19:07:14 +0200 Subject: Second commit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- man3/libnormalform_to_string.3 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'man3/libnormalform_to_string.3') diff --git a/man3/libnormalform_to_string.3 b/man3/libnormalform_to_string.3 index 7008990..2150a10 100644 --- a/man3/libnormalform_to_string.3 +++ b/man3/libnormalform_to_string.3 @@ -62,7 +62,7 @@ The .BR libnormalform_to_string () function fails if: .TP -.I ENOMEM +.B ENOMEM Insufficient memory was available to serialise the sentence object. @@ -93,7 +93,7 @@ When a .I LIBNORMALFORM_SENTENCE is created, it is optimised (this includes eliminiation of redundant information and reordering) and reduced to -into fewer types of connetives (it's reducted into negation +into fewer types of connetives (it's reduced into negation normal form, except with XOR allowed, but not necessarily to any canonical form) during construction, so the .BR libnormalform_to_string () -- cgit v1.3.1