From: Mark <markjordanthom@gmail.com>
Date: Fri, 30 Jun 2023 00:01:09 +0000 (-0600)
Subject: make setup of test_166_167 pass
X-Git-Tag: v0.9.2~95^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=521118265a94ea504cdbdd137c0fc30a5d462b5c;p=scryer-prolog.git

make setup of test_166_167 pass
---

diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl
index 39626808..31ddc4d3 100644
--- a/tests-pl/iso-conformity-tests.pl
+++ b/tests-pl/iso-conformity-tests.pl
@@ -732,7 +732,10 @@ test_164 :- setup_call_cleanup((op(7,fy,p),op(9,yfx,p)),
 
 test_165 :- atom('.''-''.').
 
-test_166_167 :- setup_call_cleanup(current_op(P,xfy,'|'),
+test_166_167 :- setup_call_cleanup((  current_op(P,xfy,'|') ->
+                                      true
+                                   ;  P = 0
+                                   ),
                                    (  op(0,xfy,'|'),
                                       test_syntax_error("(a|b).", syntax_error(incomplete_reduction))),
                                    op(P,xfy,'|')).