rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

correct ISO conformity test #185

Browse Source
This commit is contained in:
Mark
2023-07-03 11:34:41 -06:00
parent cb25a90250
commit e36f96fd47
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests-pl/iso-conformity-tests.pl
View File

@@ -271,7 +271,7 @@ test_184 :- writeq_term_to_chars(-(-), Chars),
Chars == "- (-)". Chars == "- (-)".
test_185 :- writeq_term_to_chars(-[-], Chars), test_185 :- writeq_term_to_chars(-[-], Chars),
Chars == "- \"-\"". Chars == "- [-]".
test_188 :- writeq_term_to_chars(-p(c), Chars), test_188 :- writeq_term_to_chars(-p(c), Chars),
Chars == "- p(c)". Chars == "- p(c)".