From 05ba5f43589efb3e02526ebb7719587b3e4bba77 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 25 Jan 2024 21:31:08 +0100 Subject: [PATCH] rely on recently improved argument indexing for determinism This is possible as of 4fd37335f576240c25dfbfe6e70441aff166c60e. --- src/lib/format.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/format.pl b/src/lib/format.pl index 9280156f..b89f892a 100644 --- a/src/lib/format.pl +++ b/src/lib/format.pl @@ -1,5 +1,5 @@ /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Written 2020-2023 by Markus Triska (triska@metalevel.at) + Written 2020-2024 by Markus Triska (triska@metalevel.at) Part of Scryer Prolog. I place this code in the public domain. Use it in any way you want. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ @@ -302,8 +302,8 @@ format_number_chars(N0, Chars) :- N is N0, % evaluate compound expression number_chars(N, Chars). -n_newlines(0) --> !. n_newlines(N0) --> { N0 > 0, N is N0 - 1 }, [newline], n_newlines(N). +n_newlines(0) --> []. /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ?- phrase(upto_what(Cs, ~), "abc~test", Rest). -- 2.54.0