Add patch to fix wrong format/3 usage in xsb test
Lev Lamberov
3 years ago
0 | From a73b7ba2cd11a7d7b51dd6860a29265d76352168 Mon Sep 17 00:00:00 2001 | |
1 | From: Jan Wielemaker <J.Wielemaker@vu.nl> | |
2 | Date: Fri, 6 Nov 2020 09:22:38 +0100 | |
3 | Subject: [PATCH] TEST: wrong format/3 usage causing a failure unrelated to the | |
4 | test. | |
5 | ||
6 | --- | |
7 | src/Tests/xsb/table_tests/abol_test3b.P | 2 +- | |
8 | 1 file changed, 1 insertion(+), 1 deletion(-) | |
9 | ||
10 | --- a/src/Tests/xsb/table_tests/abol_test3b.P | |
11 | +++ b/src/Tests/xsb/table_tests/abol_test3b.P | |
12 | @@ -30,7 +30,7 @@ test :- | |
13 | ( N == 0 | |
14 | -> true | |
15 | ; format(user_error, | |
16 | - 'Test abol_test3b left %d tables. Can happen.~n', [N]) | |
17 | + 'Test abol_test3b left ~d tables. Can happen.~n', [N]) | |
18 | ), | |
19 | writeln(remaining(0)), | |
20 | get_residual(upred(X),_),writeln(first(X)). |