From c2e8cbb8467826ba7ca19fc41d40ac971b554079 Mon Sep 17 00:00:00 2001
From: Paulo Moura <>
Date: Sun, 9 May 2021 22:25:37 +0100
Subject: [PATCH] Fix op/3 predicate operator_priority domain error

---
 src/lib/builtins.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 502827b6..30db4959 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1124,7 +1124,7 @@ list_of_op_atoms([]).
 op_priority(Priority) :-
     integer(Priority), !,
     (  ( Priority < 0 ; Priority > 1200 ) ->
-       throw(error(domain_error(operator_priority, Priority))) % 8.14.3.3 h)
+       throw(error(domain_error(operator_priority, Priority), op/3)) % 8.14.3.3 h)
     ;  true
     ).
 
-- 
2.54.0