From: Paulo Moura <> Date: Sun, 9 May 2021 19:51:41 +0000 (+0100) Subject: Fix missing argument in current_op/3 predicate exception term X-Git-Tag: v0.9.0~78^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=673c75fb72706a3f09163a475d5321ea9d8cb6f4;p=scryer-prolog.git Fix missing argument in current_op/3 predicate exception term --- 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 ).