Fix missing argument in current_op/3 predicate exception term

2021-05-09 20:51:41 +01:00
parent 9b483d381f
commit 673c75fb72
1 changed files with 1 additions and 1 deletions
--- 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
    ).