From 673c75fb72706a3f09163a475d5321ea9d8cb6f4 Mon Sep 17 00:00:00 2001 From: Paulo Moura <> Date: Sun, 9 May 2021 20:51:41 +0100 Subject: [PATCH] Fix missing argument in current_op/3 predicate exception term --- 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