xor is not a standard operator

2025-05-13 20:32:59 -05:00
parent 036c59e5fa
commit b767e4de25
2 changed files with 4 additions and 5 deletions
@@ -26,7 +26,6 @@
 :- op(200, xfy, ^).
 :- op(500, yfx, /\).
 :- op(500, yfx, \/).
-:- op(500, yfx, xor).
 :- op(400, yfx, div).
 :- op(400, yfx, //).
 :- op(400, yfx, rdiv).