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)".