From e36f96fd475ff06173d5f1de8c6726f6303d4d53 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 3 Jul 2023 11:34:41 -0600 Subject: [PATCH] correct ISO conformity test #185 --- tests-pl/iso-conformity-tests.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl index d72fbf38..40242fca 100644 --- a/tests-pl/iso-conformity-tests.pl +++ b/tests-pl/iso-conformity-tests.pl @@ -271,7 +271,7 @@ test_184 :- writeq_term_to_chars(-(-), Chars), Chars == "- (-)". test_185 :- writeq_term_to_chars(-[-], Chars), - Chars == "- \"-\"". + Chars == "- [-]". test_188 :- writeq_term_to_chars(-p(c), Chars), Chars == "- p(c)". -- 2.54.0