From 61c258f49ed6a821ff734acb354e6cc37986fd9c Mon Sep 17 00:00:00 2001 From: Aleksy Grabowski Date: Fri, 6 Sep 2024 08:07:21 +0200 Subject: [PATCH] Fix mistake in predicate indicator --- src/loader.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/loader.pl b/src/loader.pl index 0998182d..0de805cf 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -790,7 +790,7 @@ qualified_spec((:)). qualified_spec(MS) :- integer(MS), MS >= 0. -:- non_counted_backtracking expand_meta_predicate_subgoals/5. +:- non_counted_backtracking expand_meta_predicate_subgoals/6. expand_meta_predicate_subgoals([SG | SGs], [MS | MSs], M, [ESG | ESGs], HeadVars, TGs) :- ( var(SG) -> -- 2.54.0