From: Mark <markjordanthom@gmail.com>
Date: Mon, 3 Jul 2023 17:34:41 +0000 (-0600)
Subject: correct ISO conformity test #185
X-Git-Tag: v0.9.2~95^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e36f96fd475ff06173d5f1de8c6726f6303d4d53;p=scryer-prolog.git

correct ISO conformity test #185
---

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